Walter Guttmann: Towards a Typed Omega Algebra. RAMiCS 2011: 196-211