@phdthesis{1064,
  author = {Gabor Karsai},
  title = {Declarative Programming Techniques for Engineering},
  year = {1988},
  publisher = {Vanderbilt University},
  note = {Electrical Engineering},
  language = {eng},
}