Choo, Young-il (1987) Logic from Programming Language Semantics (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/r9hf-1b88 Choo, Young-il (1982) Hierarchical Nets: A Structured Petri Net Approach to Concurrency (Thesis (Masters)), California Institute of Technology doi: 10.7907/t5w4-vt07