Number systems : a path into rigorous mathematics - Kay, Anthony (CRC Press, Taylor & Francis Group, 2022)