@phdthesis{1017,
  author = {Ben Abbott},
  title = {Model-Based Automatic Program Synthesis},
  year = {1994},
  publisher = {Vanderbilt University},
  note = {Electrical Engineering},
  language = {eng},
}