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

by A Cavalcanti, J Woodcock
Venue:In Re Techniques in Software Engineering, volume 3167 of LNCS