@other{https://resolver.caltech.edu/CaltechETD:etd-01252008-095244,
    title = "A method for the specification, composition, and testing of distributed object systems",
    year = "1998",
    url = "https://resolver.caltech.edu/CaltechETD:etd-01252008-095244",
    id = "record",
    doi = "10.7907/z89g-gm27"
}