@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"
}


@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"
}