Alle Veröffentlichungen

@book{Kastens80a,
  author = {Uwe Kastens},
  editor = {},
  title = {{E}igenschaften von {P}rogrammiersprachen - definiert durch attributierte {G}rammatiken},
  publisher = {Springer Verlag},
  year = {1980}
}