Comer, D. E.; Gries, David; Mulder, Michael C.; Tucker, Allen; Turner, A. Joe; Young, Paul R. /Denning (1 tháng 1 năm 1989). “Computing as a discipline”. Communications of the ACM. 32 (1): 9–23. doi:10.1145/63238.63239. ISSN0001-0782. S2CID723103.
Newell, Allen; Simon, Herbert A. (1 tháng 1 năm 2007). Computer science as empirical inquiry: symbols and search. ACM. tr. 1975. doi:10.1145/1283920.1283930. ISBN9781450310499.
Comer, D. E.; Gries, David; Mulder, Michael C.; Tucker, Allen; Turner, A. Joe; Young, Paul R. /Denning (1 tháng 1 năm 1989). “Computing as a discipline”. Communications of the ACM. 32 (1): 9–23. doi:10.1145/63238.63239. ISSN0001-0782. S2CID723103.
Comer, D. E.; Gries, David; Mulder, Michael C.; Tucker, Allen; Turner, A. Joe; Young, Paul R. /Denning (1 tháng 1 năm 1989). “Computing as a discipline”. Communications of the ACM. 32 (1): 9–23. doi:10.1145/63238.63239. ISSN0001-0782. S2CID723103.
Barendregt, Hendrik Pieter (1984). The lambda calculus : its syntax and semantics . Amsterdam: North-Holland. ISBN0444867481. OCLC10559084.
Barendregt, Hendrik Pieter (2013). Lambda calculus with types. Dekkers, Wil., Statman, Richard., Alessi, Fabio., Association for Symbolic Logic. Cambridge, UK: Cambridge University Press. ISBN9780521766142. OCLC852197712.