Banquet Talk

Heinz Zemanek. Banquet Talk. In Dines Bjørner, editor, Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings. Volume 86 of Lecture Notes in Computer Science, pages 554-563, Springer, 1979.

@inproceedings{Zemanek79a,
  title = {Banquet Talk},
  author = {Heinz Zemanek},
  year = {1979},
  researchr = {https://researchr.org/publication/Zemanek79a},
  cites = {0},
  citedby = {0},
  pages = {554-563},
  booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January 22 - February 2, 1979, Proceedings},
  editor = {Dines Bjørner},
  volume = {86},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10007-5},
}