@other{https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16,
    title = "A Development Methodology for Concurrent Programs",
    url = "https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-16",
    id = "record",
    doi = "10.7907/S4MW2X"
}