Brown, Thomas Carl (1975) A structured design-method for specialized proof procedures (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/nrh8-ka82
