Kuncak, V. Relational analysis of algebraic datatypes. Software engineering notes..
Chicago-Zitierstil (17. Ausg.)Kuncak, Viktor. "Relational Analysis of Algebraic Datatypes." Software Engineering Notes. .
MLA-Zitierstil (9. Ausg.)Kuncak, Viktor. "Relational Analysis of Algebraic Datatypes." Software Engineering Notes., .
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.