@book{0015243,
  title = {Constructing correct software (2. ed.)},
  author = {John Cooke},
  year = {2005},
  doi = {10.1007/b138515},
  url = {http://dx.doi.org/10.1007/b138515},
  researchr = {https://researchr.org/publication/0015243},
  cites = {0},
  citedby = {0},
  publisher = {Springer},
  isbn = {978-1-85233-820-6},
}