@inproceedings{PavlovicD:constructions,
  author = "Dusko Pavlovic",
  booktitle = "Category Theory and Computer Science '91",
  editor = "D.~Pitt et al.",
  pages = "173--197",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Constructions and predicates",
  volume = "530",
  year = "1991",
}