Logical semantics for CafeOBJ. In Precise Semantics for Software Modeling Techniques, pages 31--54 (1998)

by Razvan Diaconescu, Kokichi Futatsugi
Venue:University Munchen