Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN:3540255591
INTERNATIONAL LAW AND MUNICIPAL LAW DROIT INTERNATIONAL ET DROIT INTERNE VOLKERRECHT UND LANDESRECHT
1982 年出版324 页ISBN:3428050738