(2000). Axiomatizing a fragment of PAFAS. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Axiomatizing a Fragment of PAFAS. Augsburg: Inst. für Informatik, 2000.
MLA-Zitierstil (9. Ausg.)Axiomatizing a Fragment of PAFAS. Inst. für Informatik, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.