Futatsugi, Kokichi; Diaconescu, Razvan "CafeOBJ Report : The Language, Proof Techniques & Methodologies for Object-Oriented Algebraic Specification" (AMAST Series in Computing, Vol. 6)

Languages mentioned

• CafeObj {1997} OBJ for the CAFE Networked Environment