Não informado. (1989). Formal Aspects of Computing. Springer International.
Čikaški stil citiranja (17. izdanje)Não informado. Formal Aspects of Computing. London: Springer International, 1989.
MLA način citiranja (8. izdanje)Não informado. Formal Aspects of Computing. Springer International, 1989.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.