Concurrency - State Models and Java Programs (1999)

by J Magee, J Kramer