@other{https://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80,
    title = "Understanding Hierarchical Design",
    url = "https://resolver.caltech.edu/CaltechCSTR:1980.3710--tr-80",
    id = "record",
    doi = "10.7907/Z9BP00R2"
}