@inproceedings{729030,
  title = "A Specification Language",
  author = "S{\o}rensen, Ib",
  year = "1982",
  address = "London, UK, UK",
  booktitle = "Program Specification, Proceedings of a Workshop",
  isbn = "3-540-11490-4",
  pages = "381--401",
  publisher = "Springer-Verlag",
}