Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification Diaconescu Razvan Innbundet / 1998 / Engelsk
Object-Technologies for Advanced Software Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings Futatsugi Kokichi Heftet / 1996 / Engelsk
Software Security - Theories and Systems Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 Futatsugi Kokichi Heftet / 2004 / Engelsk
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Futatsugi Kokichi Heftet / 2006 / Engelsk
