Cook, James N. (1993) Production Rule Verification for Quasi-Delay-Insensitive Circuits (Thesis (Masters)), California Institute of Technology doi: 10.7907/t65k-bq93