@article{503192,
  title = "The use of B to specify, design and verify hardware",
  author = "Ifill, Wilson and Sorensen, Ib and Schneider, Steve",
  year = "2001",
  address = "Norwell, MA, USA",
  isbn = "0-7923-7949-7",
  pages = "43--62",
  publisher = "Kluwer Academic Publishers",
}