@book{spies1996-transformationsbasierte,
  author    = {Spies},
  title     = {Transformationsbasierte temporallogische Programmierung},
  year      = {1996},
  publisher = {Verlag Dr. Kovač},
  series    = {Forschungsergebnisse der Programmentwicklung},
  isbn      = {978-3-86064-402-7},
  address   = {Hamburg},
  pages     = {236},
  fachbereich = {Informatik},
  keywords    = {Temporallogik, Transformation, ExTeLL, Reduktion, Programmiersprache, Programmierung, Programmierlogik, Informatik},
}