%0 Conference Paper %1 conf/ldrs/PopekHLML77 %A Popek, Gerald J. %A Horning, James J. %A Lampson, Butler W. %A Mitchell, James G. %A London, Ralph L. %B Language Design for Reliable Software %D 1977 %E Wortman, David B. %I ACM %K dblp %P 11-18 %T Notes on the Design of Euclid. %U http://dblp.uni-trier.de/db/conf/ldrs/ldrs77.html#PopekHLML77 %@ 978-1-4503-7380-7

@inproceedings{conf/ldrs/PopekHLML77, added-at = {2022-02-23T00:00:00.000+0100}, author = {Popek, Gerald J. and Horning, James J. and Lampson, Butler W. and Mitchell, James G. and London, Ralph L.}, biburl = {https://www.bibsonomy.org/bibtex/2dadce2b1a2f24748fec6bd1104d003d5/dblp}, booktitle = {Language Design for Reliable Software}, crossref = {conf/ldrs/1977}, editor = {Wortman, David B.}, ee = {https://doi.org/10.1145/390019.808307}, interhash = {fafc1da16e74e2c93f23dac342af3f0c}, intrahash = {dadce2b1a2f24748fec6bd1104d003d5}, isbn = {978-1-4503-7380-7}, keywords = {dblp}, pages = {11-18}, publisher = {ACM}, timestamp = {2024-04-10T01:17:46.000+0200}, title = {Notes on the Design of Euclid.}, url = {http://dblp.uni-trier.de/db/conf/ldrs/ldrs77.html#PopekHLML77}, year = 1977 }