CafeOBJ report the language, proof techniques, and methodologies for object-oriented algebraic specification - Diaconescu, Razvan; Futatsugi, Kokichi; ebrary, Inc. (Singapore : World Scientific, 1998)
Includes bibliographical references (p. 115-121) and index.
Electronic reproduction.
Keywords: Object-oriented programming (Computer science); Programming languages (Electronic computers); Computer software -- Development; Electronic books