Towards Structured Algebraic Speci cations (1985)

by M-C Gaudel
Venue:Esprit Technical Week, Brussels, Esprit 85 Status Report