ARPA Contractors Meeting: San Diego, March 12-14, 1975. - M.I.T. Project MAC - Simplification/Certification of Operating Systems - 1974 ARPA Project Summary

purl.stanford.edu/tz150nb2483