Margaria, T., & Steffen, B. (1992). Distinguishing formulas for free. RWTH Aachen, Fachgruppe Informatik.
Chicago-Zitierstil (17. Ausg.)Margaria, Tiziana, und Bernhard Steffen. Distinguishing Formulas for Free. Aachen: RWTH Aachen, Fachgruppe Informatik, 1992.
MLA-Zitierstil (9. Ausg.)Margaria, Tiziana, und Bernhard Steffen. Distinguishing Formulas for Free. RWTH Aachen, Fachgruppe Informatik, 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.