Sengler, C. (1996). Induction on non-freely generated data types. DFKI.
Chicago-Zitierstil (17. Ausg.)Sengler, Claus. Induction on Non-freely Generated Data Types. Kaiserslautern <<[u.a.]>>: DFKI, 1996.
MLA-Zitierstil (9. Ausg.)Sengler, Claus. Induction on Non-freely Generated Data Types. DFKI, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.