Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London. Notes on the Design of Euclid. In Language Design for Reliable Software. pages 11-18, 1977.
@inproceedings{PopekHLML77,
title = {Notes on the Design of Euclid},
author = {Gerald J. Popek and James J. Horning and Butler W. Lampson and James G. Mitchell and Ralph L. London},
year = {1977},
tags = {design},
researchr = {https://researchr.org/publication/PopekHLML77},
cites = {0},
citedby = {0},
pages = {11-18},
booktitle = {Language Design for Reliable Software},
}