@inproceedings{PavlovicD:FOPS,
  title = "Semantics of first order parametric specifications",
  author = "Du\v{s}ko Pavlovi\'c",
  year = "1999",
  booktitle = "Formal Methods '99",
  editor = "J. Woodcock and J. Wing",
  pages = "155--172",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FOPS.ps",
  volume = "1708",
}