Concurrency: state models and java programs by Kramer, J., Magee, J. fromWorldwide series in computer science 0 Type: Book
