Samosir, Agnes Rosliana (1992) Konstruksi sistem-sistem bilangan dengan pendekatan aksiomatis. Skripsi thesis, Sanata Dharma University.