Walter Guttmann: Non-termination in Unifying Theories of Programming. RelMiCS 2005: 108-120