Kay, Anthony
Number systems : a path into rigorous mathematics 
Boca Raton, FL : CRC Press. xi, 304 p. 
QA141 K39