CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification - Diaconescu, Razvan (World Scientific Pub. Co., 1998)
Includes index