CafeOBJ report : The language, proof techniques, and methodologies for object-oriented algebraic specification - Diaconescu, Razvan; Futatsugi, Kokichi (World Scientific, 1998)