Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits. Master's thesis, California Institute of Technology. doi:10.7907/t65k-bq93. https://resolver.caltech.edu/CaltechTHESIS:04022012-152118181
Forstner, Hali Janine Lala (1993) Molecular Speciation of Secondary Organic Aerosol from Various Anthropogenic Hydrocarbons. Master's thesis, California Institute of Technology. doi:10.7907/1dqr-8g94. https://resolver.caltech.edu/CaltechTHESIS:06272025-191230924
Massingill, Berna Linda (1993) Integrating Task and Data Parallelism. Master's thesis, California Institute of Technology. doi:10.7907/a7ga-s950. https://resolver.caltech.edu/CaltechTHESIS:04122012-130550435
Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language. Master's thesis, California Institute of Technology. doi:10.7907/ngrt-q826. https://resolver.caltech.edu/CaltechTHESIS:04122012-114004175