Logical foundations of CafeOBJ (0)

by R Diaconescu, K Futatsugi
Venue:Theoretical Comput. Sci