A kernel language for algebraic specification and implementation (0)

by Donald Sannella, Martin Wirsing
Venue:Proceedings of the 1983 International Conference on Foundations of Computation Theory, Borgholm, Lecture Notes in Computer Science