Horst Herrlich Hartmut Ehrig The Construct PRO of Projection Spaces: Its Internal Structure. 286-293 1988 conf/category/1988 Categorial Methods in Computer Science db/conf/category/category1988.html#HerrlichE88 https://doi.org/10.1007/3-540-51722-7_17