%0 Conference Paper %1 conf/ijcai/BurstallG77 %A Burstall, Rod M. %A Goguen, Joseph A. %B IJCAI %D 1977 %E Reddy, Raj %I William Kaufmann %K dblp %P 1045-1058 %T Putting Theories Together to Make Specifications. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai77.html#BurstallG77

@inproceedings{conf/ijcai/BurstallG77, added-at = {2016-07-19T00:00:00.000+0200}, author = {Burstall, Rod M. and Goguen, Joseph A.}, biburl = {https://www.bibsonomy.org/bibtex/23a0c376ec74f815bdbfb409877395cf5/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1977}, editor = {Reddy, Raj}, ee = {http://ijcai.org/Proceedings/77-2/Papers/095.pdf}, interhash = {8ed51d0b8b89a37880b4598470d672e0}, intrahash = {3a0c376ec74f815bdbfb409877395cf5}, keywords = {dblp}, pages = {1045-1058}, publisher = {William Kaufmann}, timestamp = {2017-05-20T02:00:24.000+0200}, title = {Putting Theories Together to Make Specifications.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai77.html#BurstallG77}, year = 1977 }