@conference{Sorensen1982381,
  title = "SPECIFICATION LANGUAGE.",
  author = "Sorensen, Ib Holm",
  year = "1982",
  address = "Aarhus, Den",
  isbn = "3540114904",
  journal = "Lecture Notes in Computer Science",
  language = "English",
  pages = "381-401",
  publisher = "Springer-Verlag, Berlin, West Ger",
}