Mathematical methods in computer graphics and design
edited by K.W. Brodlie
Academic Press, 1980
 Buku Teks
Fejer, Peter A.
Mathematical foundations of computer science
Springer-Verlag, 1991
 Buku Teks
Rogers, David F., 1937-
Mathematical elements for computer graphics
McGraw-Hill , 1990
 Buku Teks
Bundy, Alan
The computer modelling of mathematical reasoning
Academic Press, 1983
 Buku Teks
Ben-Ari, Mordecchai, 1948-
Mathematical logic for computer science
Springer-Verlag, 2012
 Buku Teks