An overview of CafeOBJ (2000)

by R Diaconescu, K Futatsugi
Venue:Electronic Notes in Theoretical Computer Science