Concurrency: State Models and Java Programs

Kanellakis, P.C. 60

Kleiman, S. 274

Kramer, J. 60, 156, 208