@phdthesis{dnb-8030,
  title = {Algebraische Spezifikation und Korrektheit von Compilern},
  author = {Ulrich Grude},
  year = {1985},
  url = {http://d-nb.info/860016587},
  researchr = {https://researchr.org/publication/dnb-8030},
  cites = {0},
  citedby = {0},
  school = {Technical University of Berlin, Germany},
}