@inproceedings{PavlovicD:SDR,
  author = "Dusko Pavlovic and Douglas R. Smith",
  booktitle = "Formal Methods at the Crossroads",
  editor = "Bernhard K. Aichernig and Tom Maibaum",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  title = "Software development by refinement",
  volume = "2757",
  year = "2003",
}