TY  - BOOK
AU  - Diaconescu Razvan Et Al
TI  - Cafeobj Report: the Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
SN  - 9789812816108
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/3831#t=toc
ER  -