Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren - Wagner, Franz (1982)