| Shelfclass_id | 4.B.5 |
| Sortkey | DIACONESCU, RAZVAN |
| Authors | Razvan Diaconescu, Kokichi Futatsugi |
| Title | CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification |
| Publisher | World Scientific |
| Year | 1998 |
| Languages | eng |
| Isbn | 9789810235130, 9810235135 |
| Series | AMAST Series in Computing |
| Volume | 6 |
| Description | xxi, 174 p. |
| Record date | 20091029 |
| Location | Singapore |