Razvan Diaconescu, Kokichi Futatsugi. Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. Volume 6 of AMAST Series in Computing, World Scientific, 1998. [doi]
@book{amast-DiaconescuF98,
title = {Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification},
author = {Razvan Diaconescu and Kokichi Futatsugi},
year = {1998},
doi = {10.1142/3831},
url = {http://dx.doi.org/10.1142/3831},
researchr = {https://researchr.org/publication/amast-DiaconescuF98},
cites = {0},
citedby = {0},
volume = {6},
series = {AMAST Series in Computing},
publisher = {World Scientific},
isbn = {978-981-4518-23-9},
}