@ARTICLE {2498,
author={C. Hermida and P. Mateus},
doi={10.1016/S0304-3975(03)00317-7},
journal={Theoretical Computer Science},
title={Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory},
year={2005},
month={January},
volume={311},
number={-},
pages={71-103},
ISSN={0304-3975}
}