Collins, G., & Gilmore, S. (1994). Supporting formal reasoning about Standard ML.
Chicago-Zitierstil (17. Ausg.)Collins, Graham, und Stephen Gilmore. Supporting Formal Reasoning About Standard ML. Edinburgh, 1994.
MLA-Zitierstil (9. Ausg.)Collins, Graham, und Stephen Gilmore. Supporting Formal Reasoning About Standard ML. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.