@other{https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21,
    title = "A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language",
    year = "2001",
    url = "https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-21",
    id = "record",
    doi = "10.7907/Z9W95779"
}