Luo, Z. (1994). Computation and reasoning: : a type for computer science. Oxford:Oxford Univ. Pr., Inc.
Παραπομπή Chicago StyleLuo, Zhaohui. Computation and Reasoning: : A Type for Computer Science. Oxford:Oxford Univ. Pr., Inc, 1994.
Παραπομπή MLALuo, Zhaohui. Computation and Reasoning: : A Type for Computer Science. Oxford:Oxford Univ. Pr., Inc, 1994.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.