Futatsugi: 2002, ‘Logical Foundations of CafeOBJ (0)

by R Diaconescu, K
Venue:Theoretical Computer Science