Razvan Diaconescu Kokichi Futatsugi Shusaku Iida Component-Based Algebraic Specification and Verification in CafeOBJ. 1644-1663 1999 conf/fm/1999-2 World Congress on Formal Methods http://link.springer.de/link/service/series/0558/bibs/1709/17091644.htm db/conf/fm/fm1999-2.html#DiaconescuFI99