BibTeX record conf/cc/ThatcherWW80

download as .bib file

@inproceedings{DBLP:conf/cc/ThatcherWW80,
  author    = {James W. Thatcher and
               Eric G. Wagner and
               Jesse B. Wright},
  title     = {More on advice on structuring compilers and proving them correct},
  booktitle = {Semantics-Directed Compiler Generation},
  series    = {Lecture Notes in Computer Science},
  volume    = {94},
  pages     = {165--188},
  publisher = {Springer},
  year      = {1980}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics