Roscoe, A. W., Understanding Concurrent Systems - Heidelberg: Speinger, c2010. - xviii, 527 p.: [5D] ISBN: 9781848822573 Dewey Class. No.: 004.35 / RAS/UND