Translating OBJ3 to CASL: the Institution Level (1999)

by T Mossakowski
Venue:Recent Trends in Algebraic Development Techniques. 13th Int'l Workshop, WADT'98, Lisbon, Selected Papers. LNCS 1589