CafeOBJ: Logical Foundations and Methodologies (2003)

by Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
Venue:Computing and Informatics