Saltzer and Schroeder's 1975 paper

GPTKB entity