Kuncak, V. Relational analysis of algebraic datatypes. Software engineering notes..
Citazione stile Chigago Style (17a edizione)Kuncak, Viktor. "Relational Analysis of Algebraic Datatypes." Software Engineering Notes. .
Citatione MLA (9a ed.)Kuncak, Viktor. "Relational Analysis of Algebraic Datatypes." Software Engineering Notes., .
Attenzione: Queste citazioni potrebbero non essere precise al 100%.