Logical foundations of CafeOBJ, Theoret (2002)

by R Diaconescu, K Futatsugi
Venue:Comput. Sci