Model-Based Design of Concurrent Programs.

Published in: 25 Years Communicating Sequential Processes (2004)