Notes on the Design of Euclid

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.

Authors

Gerald J. Popek

This author has not been identified. Look up 'Gerald J. Popek' in Google

James J. Horning

This author has not been identified. Look up 'James J. Horning' in Google

Butler W. Lampson

This author has not been identified. Look up 'Butler W. Lampson' in Google

James G. Mitchell

This author has not been identified. Look up 'James G. Mitchell' in Google

Ralph L. London

This author has not been identified. Look up 'Ralph L. London' in Google