CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (1998)

by R Diaconescu, K Futatsugi
Venue:of AMAST Series in Computing. World Scientific