Notes on transformation orderings - Steinbach, Joachim (Fachbereich Informatik, Univ. Kaiserslautern, 1992)