APA (7th ed.) Citation

Sturm, H. (1998). A complete axiomatization for MyLambda omega1. Centrum für Informations- und Sprachverarbeitung.

Chicago Style (17th ed.) Citation

Sturm, Holger. A Complete Axiomatization for MyLambda Omega1. München: Centrum für Informations- und Sprachverarbeitung, 1998.

MLA (9th ed.) Citation

Sturm, Holger. A Complete Axiomatization for MyLambda Omega1. Centrum für Informations- und Sprachverarbeitung, 1998.