Unification of Theories: A Challenge for Computing Science (Recent Trends in Data Type Specification‚ 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop‚ Oslo‚ Norway‚ September 19−23‚ 1995‚ Selected Papers, 1995)

(untitled) - Hoare, C