Anne Elisabeth Haxthausen Parameterized Algebraic Domain Equations. 198-219 1988 conf/category/1988 Categorial Methods in Computer Science db/conf/category/category1988.html#Haxthausen88