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