@phdthesis{PavlovicD:thesis,
  title = "Predicates and Fibrations",
  author = "Dusko Pavlovic",
  year = "1990",
  school = "Rijksuniversiteit Utrecht",
}