Towards Structured Algebraic Specifications. ESPRIT `85 (1986)

by M-C Gaudel
Venue:Status Report of Continuing Work (North-Holland