Concurrency – State Models and Java Programs (1999)

by J Magee, J Kramer