@incollection{Sorensen:2001:BTZ:503188.503191,
  title = "High integrity software",
  author = "Sorensen, Ib and Neilson, David",
  year = "2001",
  address = "Norwell, MA, USA",
  chapter = "B: towards zero defect software",
  isbn = "0-7923-7949-7",
  pages = "23--42",
  publisher = "Kluwer Academic Publishers",
  url = "http://dl.acm.org/citation.cfm?id=503188.503191",
}