CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification - Diaconescu, Răzvan; Futatsugi, Kokichi (World Scientific, 1998)