Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN:3540223932
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN:354034893X
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X