Martin Kramer Claus Unger A Generalizing Operator Abstraction. 108-121 1994 conf/puk/1994 PuK db/conf/puk/puk1994.html#KramerU94