Moving between logical systems (1996)

by A Tarlecki
Venue:In Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, LNCS 1130