Liu. (2013). Theories of Programming and Formal Methods (1.). Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationLiu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
MLA (8th ed.) CitationLiu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.