Liu. (2013). Theories of Programming and Formal Methods (1.). Springer Berlin Heidelberg.
Čikaški stil citiranja (17. izdanje)Liu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
MLA način citiranja (8. izdanje)Liu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.