1. Rodríguez E. Dwyer M. Flanagan C. Hatcliff J. Leavens G. Robby: Extending JML for modular specification and verification of multi-threaded programs. In: ECOOP’05 Rodríguez E. Dwyer M. Flanagan C. Hatcliff J. Leavens G. Robby: Extending JML for modular specification and verification of multi-threaded programs. In: ECOOP’05
2. Cooperative reasoning for preemptive execution
3. Jones C.B.: Specification and design of (parallel) programs. In: IFIP’83 Jones C.B.: Specification and design of (parallel) programs. In: IFIP’83
4. Cooperative types for controlling thread interference in Java