@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19,
    title = "On Lattice Theory and Program Semantics",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19",
    id = "record",
    doi = "10.7907/Z95H7D9K"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10,
    title = "Submicron Systems Architecture",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10",
    id = "record",
    doi = "10.7907/4fh9g-yr824"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37,
    title = "Submicron Systems Architecture: Semiannual Technical Report",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37",
    id = "record",
    doi = "10.7907/Z9NS0RX7"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34,
    title = "Semantics of Exceptions",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34",
    id = "record",
    doi = "10.7907/Z9KK98TT"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04,
    title = "A LISP Programming Exercise",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04",
    id = "record",
    doi = "10.7907/Z93F4MSW"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01,
    title = "Mechanized Support for Stepwise Refinement",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01",
    id = "record",
    doi = "10.7907/Z9NV9G8H"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17,
    title = "Submicron Systems Architecture Project : Semiannual Technical Report, 1 July 1992",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17",
    id = "record",
    doi = "10.7907/Z9WS8RF5"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33,
    title = "Proxac: An Editor for Program Transformation",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33",
    id = "record",
    doi = "10.7907/Z9V40S70"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25,
    title = "Molecular Dynamics on the Mosaic",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25",
    id = "record",
    doi = "10.7907/Z9P8493R"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02,
    title = "A Tutorial Introduction to Mosaic Pascal",
    url = "https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02",
    id = "record",
    doi = "10.7907/7xby0-epj19"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05,
    title = "A Distributed Implementation of a Task Pool",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05",
    id = "record",
    doi = "10.7907/kfk06-0gs07"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06,
    title = "The Sliding Window Protocol Revisited",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06",
    id = "record",
    doi = "10.7907/20k97-3bf71"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13,
    title = "Weakest Preconditions for Progress",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13",
    id = "record",
    doi = "10.7907/dnyzm-jnn72"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07,
    title = "Inversion of a Recursive Tree Traversal",
    url = "https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07",
    id = "record",
    doi = "10.7907/5k9bn-2re97"
}


@other{https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436,
    title = "On the Correctness of Sliding Window Protocols",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436",
    id = "record",
    doi = "10.7907/y9k9s-g7951"
}


@article{https://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673,
    title = "Distributed sorting",
    journal = "Science of Computer Programming",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673",
    id = "record",
    issn = "0167-6423",
    doi = "10.1016/0167-6423(90)90081-N",
    volume = "15"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06,
    title = "Distributed Sorting",
    url = "https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06",
    id = "record",
    doi = "10.7907/zaevr-tmm71"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613,
    title = "Constructive Methods in Computing Science",
    chapter = "Design of Synchronization Algorithms",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201008-131242613",
    id = "record",
    isbn = "9783642748868",
    doi = "10.1007/978-3-642-74884-4\_13"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84,
    title = "Networks of Machines for Distributed Recursive Computations",
    url = "https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84",
    id = "record",
    doi = "10.7907/abxcf-t3r94"
}