Concurrency – state models and Java programs (2006)

by J Magee, J Kramer