Hess, Gideon David (1980) A Software Design System (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/Z9348HB7