Futatsugi (2002): Logical foundations of CafeOBJ (0)

by R Diaconescu, K
Venue:Theor. Comput. Sci