Anne Elisabeth Haxthausen Mutually Recursive Algebraic Domain Equations. 1988 ADT db/conf/adt/adt1988.html#Haxthausen88