Unification of Theories: A Challenge for Computing Science
Authors:
C. A. R. Hoare
Affiliations:
-
Venue:
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification