Walter Guttmann, Bernhard Möller: Modal Design Algebra. UTP 2006: 236-256