Putting theories together to make specifications (1977)

by R Burstall, J Goguen
Venue:Porc. Fifth International Joint Conference on Artificial Intelligence