Putting Theories Together to Make Specifications (1977)

by Rod Burstall, Joseph Goguen
Venue:Proc. 5th Intl. Joint Conference on Artificial Intelligence