@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150130-160953426,
    title = "Third Caltech Conference on Very Large Scale Integration",
    chapter = "A Hierarchical Simulator Based on Formal Semantics",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150130-160953426",
    id = "record",
    isbn = "0914894862"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150130-160600750,
    title = "Third Caltech Conference on Very Large Scale Integration",
    chapter = "A New Channel Routing Algorithm",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20150130-160600750",
    id = "record",
    isbn = "0914894862"
}