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