A tutorial introduction to CSP in unifying theories of programming (2006)

by A Cavalcanti, J Woodcock
Venue:Berlin / Heidelberg