Randall, David Lawrence (1970) Formal Methods in the Foundations of Science (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/KB5H-4F11