Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Diaconescu Razvan and Futatsugi Kokichi and Iida Shusaku,Component-based algebraic specification and verification in CafeOBJ,Research report,09187553,Japan Advanced Institute of Science and Technology,1999-05-06,99,,1-20,https://cir.nii.ac.jp/crid/1570572701813924352,