@article{503191,
  title = "B: towards zero defect software",
  author = "Sorensen, Ib and Neilson, David",
  year = "2001",
  address = "Norwell, MA, USA",
  isbn = "0-7923-7949-7",
  pages = "23--42",
  publisher = "Kluwer Academic Publishers",
}