Moving between logical systems (1996)

by A Tarlecki
Venue:Recent Trends in Data Type Specifications. Selected Papers, 11th Workshop on Specification of Abstract Data Types ADT’95, LNCS 1130