Putting Theories Together to Make Speci (1977)

by R M Burstall, J A Goguen
Venue:Proceedings. 5th International Joint Conference on Arti Intelligence. 1045{1058