APA-Zitierstil (7. Ausg.)

Poigné, A. (1983). Higher order abstract data types, Cartesian closure versus lambda-calculus.

Chicago-Zitierstil (17. Ausg.)

Poigné, Axel. Higher Order Abstract Data Types, Cartesian Closure Versus Lambda-calculus. Dortmund, 1983.

MLA-Zitierstil (9. Ausg.)

Poigné, Axel. Higher Order Abstract Data Types, Cartesian Closure Versus Lambda-calculus. 1983.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.