Cohen, Leon W.
The Structure of the real number system
D. Van Nostrand, 1963
 Buku Teks
Foundations of real-time computing: formal specifications and methods
edited by Andre M. van Tilborg
Kluwer, 1991
 Buku Teks
Foundations of real-time computing: scheduling and resources management
edited by Andre M. van Tilborg
Kluwer, 1991
 Buku Teks SO
Niven, Ivan Morton, 1915-
An Introduction to the theory of numbers
John Wiley & Sons, 1980
 Buku Teks SO
Niven, Ivan Morton, 1915-
An introduction to the theory of numbers
John Wiley & Sons, 1991
 Buku Teks SO