@inproceedings{PavlovicD:IDPT02,
  title = "On Specification Carrying Software, its Refinement and Composition",
  author = "Matthias Anlauff and Dusko Pavlovic",
  year = "2002",
  booktitle = "Proceedings of IDPT 2002",
  editor = "H. Ehrig and B.J.~{Kr{\"a}mer} and A.~Ertas",
  publisher = "Society for Design and Process Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/IDPT.ps",
}