@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23,
    title = "Production Rule Verification for Quasi-Delay-Insensitive Circuits",
    year = "1993",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-23",
    id = "record",
    doi = "10.7907/Z9C24TG1"
}