(2003). Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.
Čikaški stil citiranja (17. izdanje)Understanding Formal Methods / Written and Translated by Jean François Monin ; Translation Editor, Michael G. Hinchey. 2003.
MLA način citiranja (9. izdanje)Understanding Formal Methods / Written and Translated by Jean François Monin ; Translation Editor, Michael G. Hinchey. 2003.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.