Putting Theories Together to Make Speci (1977)

by R Burstall, J Goguen
Venue:Proc. Fifth International Joint Conference on Arti Intelligence