Algebra of Concurrent Programming Tony Hoare Cambridge 2011.
Algebra unifies calculi of programming Tony Hoare Feb 2012.
An Algebra for Program Designs
Algebra unifies calculi of programming
Algebra of Concurrent Programming