=020  \978-3-86064-402-7
=100  \Spies
=245  10$aTransformationsbasierte temporallogische Programmierung
=264  \Hamburg : $bVerlag Dr. Kovač, $c1996
=490  0\Forschungsergebnisse der Programmentwicklung
=300  \236 Seiten
=650  \Temporallogik
=650  \Transformation
=650  \ExTeLL
=650  \Reduktion
=650  \Programmiersprache
=650  \Programmierung
=650  \Programmierlogik
=650  \Informatik
=650  \: Informatik