Unification of Theories: A Challenge for Computing Science
C. A. R. Hoare
Book Title
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
Editor
Magne Haveraaen and Olaf Owe and Ole−Johan Dahl
Pages
49−57
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1130
Year
1995