@other{https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-31,
    title = "A Method for the Specification, Composition, and Testing of Distributed Object Systems",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechCSTR:1997.cs-tr-97-31",
    id = "record",
    doi = "10.7907/Z91N7Z43"
}


@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383,
    title = "Parallel and Distributed Processing",
    chapter = "A Cottage industry of software publishing: Implications for theories of composition",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20201118-085206383",
    id = "record",
    isbn = "9783540643593",
    doi = "10.1007/3-540-64359-1\_751"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22,
    title = "Composing Processes Using Modified Rely-Guarantee Specifications",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-22",
    id = "record",
    doi = "10.7907/Z9P848X3"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11,
    title = "Reliable Synchronization Primitives for Java",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-11",
    id = "record",
    doi = "10.7907/Z9P55KHS"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08,
    title = "A World-Wide Distributed System Using Java and the Internet",
    year = "1996",
    url = "https://resolver.caltech.edu/CaltechCSTR:1996.cs-tr-96-08",
    id = "record",
    doi = "10.7907/Z98W3BBD"
}


@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02,
    title = "A Tutorial for CC++",
    year = "1994",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-02",
    id = "record",
    doi = "10.7907/Z9QN64SH"
}