CafeOBJ Report: The Language (1998)

by K Futatsugi
Venue:Proof Techniques, and Methodologies for Object-Oriented Algebraic Speci World Scienti AMAST Series in Computing, Volume 6