Liu. (2013). Theories of Programming and Formal Methods (1.). Springer Berlin Heidelberg.
Cita Chicago (17th ed.)Liu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Cita MLA (8th ed.)Liu. Theories of Programming and Formal Methods. 1. Springer Berlin Heidelberg, 2013.
Atenció: Aquestes cites poden no estar 100% correctes.