APA (7th ed.) Citation

Margaria, T., & Steffen, B. (1992). Distinguishing formulas for free. RWTH Aachen, Fachgruppe Informatik.

Chicago Style (17th ed.) Citation

Margaria, Tiziana, and Bernhard Steffen. Distinguishing Formulas for Free. Aachen: RWTH Aachen, Fachgruppe Informatik, 1992.

MLA (9th ed.) Citation

Margaria, Tiziana, and Bernhard Steffen. Distinguishing Formulas for Free. RWTH Aachen, Fachgruppe Informatik, 1992.

Warning: These citations may not always be 100% accurate.