@article{102606,
  title = "Formal specification and design of a simple assembler",
  author = "S{\o}rensen, Ib Holm and Sufrin, Bernard",
  year = "1987",
  address = "Hertfordshire, UK, UK",
  isbn = "0-13-826579-8",
  pages = "225--244",
  publisher = "Prentice Hall International (UK) Ltd.",
}