Putting Theories Together to Make Specifications.

Rod M. Burstall, Joseph A. Goguen

Browse the full IJCAI paper archive.