Burstall and Goguen. "Putting Theories Together to Make Specifications." International Joint Conference on Artificial Intelligence, 1977.
Markdown
[Burstall and Goguen. "Putting Theories Together to Make Specifications." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/burstall1977ijcai-putting/)
BibTeX
@inproceedings{burstall1977ijcai-putting,
title = {{Putting Theories Together to Make Specifications}},
author = {Burstall, Rod M. and Goguen, Joseph A.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1977},
pages = {1045-1058},
url = {https://mlanthology.org/ijcai/1977/burstall1977ijcai-putting/}
}