Gerhard Köstler Werner Kießling Helmut Thöne Ulrich Güntzer The Differential Fixpoint Operator with Subsumption. 35-48 1993 DOOD db/conf/dood/dood93.html#KostlerKTG93 http://dx.doi.org/10.1007/3-540-57530-8_3