Bénabou, J. (1985). Fibered categories and the foundations of naive category theory. Journal of Symbolic Logic, 50(1), 10–37. https://doi.org/10.2307/2273784
@article{benabou:1985,
  author = {B\'{e}nabou, Jean},
  publisher = {Cambridge University Press},
  year = {1985},
  doi = {10.2307/2273784},
  journal = {Journal of Symbolic Logic},
  number = {1},
  pages = {10--37},
  title = {Fibered categories and the foundations of naive category theory},
  volume = {50}
}