Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification Diaconescu Razvan Innbundet / 1998 / Engelsk
