@other{https://resolver.caltech.edu/CaltechTHESIS:03272012-160759964,
    title = "Hierarchy of Graph Isomorphism Testing",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechTHESIS:03272012-160759964",
    id = "record",
    doi = "10.7907/pgav-zy26"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:05022012-105611552,
    title = "HEX: A Hierarchical Circuit Extractor",
    year = "1984",
    url = "https://resolver.caltech.edu/CaltechTHESIS:05022012-105611552",
    id = "record",
    doi = "10.7907/mptd-b683"
}


@other{https://resolver.caltech.edu/CaltechTHESIS:04112012-091046970,
    title = "RTsim: A Register Transfer Simulator",
    year = "1983",
    url = "https://resolver.caltech.edu/CaltechTHESIS:04112012-091046970",
    id = "record",
    doi = "10.7907/727m-mf30"
}