A Kernel Language for Algebraic Speci cation and Implementation (1983)

by D Sannella, M Wirsing
Venue:University ofEdinburgh, Edinburgh