Putting theories together to make speci cations (1977)

by R Burstall, J Goguen
Venue:Department of Computer Science, Carnegie-Mellon University, USA