Dix, A. (1991). Formal methods for interactive systems. Academic Press.
Chicago-Zitierstil (17. Ausg.)Dix, Alan. Formal Methods for Interactive Systems. London u.a: Academic Press, 1991.
MLA-Zitierstil (9. Ausg.)Dix, Alan. Formal Methods for Interactive Systems. Academic Press, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.