Eric G. Wagner On Declarations. 261-277 1988 conf/category/1988 Categorial Methods in Computer Science db/conf/category/category1988.html#Wagner88