publications:
- title: "Generating Software from Specifications"
  author:
  - name: "Uwe Kastens"
    link: "http://www.cs.uni-paderborn.de/fachgebiete/ag-kastens/wir/uwe.html"
  - name: "Anthony M. Sloane"
    link: "http://www.comp.mq.edu.au/~asloane"
  - name: "William Waite"
    link: "http://ecee.colorado.edu/~waite/"
  year: "2007"
  researchr: "https://researchr.org/publication/Kastens07"
  cites: 0
  citedby: 0
  address: "Sudbury, MA"
  publisher: "Jones and Bartlett"
  kind: "book"
  key: "Kastens07"