Sivilotti, Paul (1993) A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language (Thesis (Masters)), California Institute of Technology doi: 10.7907/ngrt-q826
