Concurrency: State Models and Java Programs (1999)

by J Magee, J Kramer