Guttmann, WalterWagner, Dorothea2020-08-212020-08-212008978-3-88579-412-7https://dl.gi.de/handle/20.500.12116/33629deAlgebraic Foundations of the Unifying Theories of Programming1617-5468