Style de citation APA (7e éd.)
Diaconescu, R., & Futatsugi, K. (1998). CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification. World Scientific.
Style de citation Chicago (17e éd.)
Diaconescu, Razvan, et Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification. Singapore: World Scientific, 1998.
Style de citation MLA (9e éd.)
Diaconescu, Razvan, et Kokichi Futatsugi. CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-oriented Algebraic Specification. World Scientific, 1998.
Attention : ces citations peuvent ne pas être correctes à 100%.