˜Aœ simple calculus for program transformations (inclusive of induction) - Pepper, Peter (München Bibliothek der Fak. für Mathematik und Informatik, TUM, 1984)
Literaturverz. S. 45 - 47