@inproceedings{Birtwistle:1986:SVD,
  title = "Specification and {VLSI} Design",
  author = "Graham Birtwistle and Jeff Joyce and Breen Liblong and Tom Melham and Rick Schediwy",
  year = "1986",
  booktitle = "Formal Aspects of {VLSI} Design: Proceedings of the 1985 {E}dinburgh Workshop on {VLSI}: {E}dinburgh, {S}cotland, {U.K.}",
  editor = "George J. Milne and P. A. Subrahmanyam",
  isbn = "0-444-70026-9",
  pages = "83--97",
  publisher = "North-Holland",
}