Chen, Marina Chien-mei (1983) Space-time Algorithms: Semantics and Methodology (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/bfpj-t811
