Mossakowski, Till, and Markus Roggenbach. Structured CSP ? A Process Algebra as an Institution In Recent Trends in Algebraic Development Techniques. Berlin, Heidelberg: Springer, 2007.