@book{Kastens07,
  title = {Generating Software from Specifications},
  author = {Uwe Kastens and Anthony M. Sloane and William Waite},
  year = {2007},
  researchr = {https://researchr.org/publication/Kastens07},
  cites = {0},
  citedby = {0},
  address = {Sudbury, MA},
  publisher = {Jones and Bartlett},
}