@other{https://resolver.caltech.edu/CaltechTHESIS:04022012-152118181,
    title = "Production Rule Verification for Quasi-Delay-Insensitive Circuits",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04022012-152118181",
    id = "record",
    doi = "10.7907/t65k-bq93"
}