Robert M. Colomb Christopher N. G. Dampney Michael Johnson Category-theoretic fibration as an abstraction mechanism in information systems. 1-44 2001 38 Acta Inf. 1 http://link.springer.de/link/service/journals/00236/bibs/1038001/10380001.htm db/journals/acta/acta38.html#ColombDJ01