Budi, Listijani (1992) Geometri bidang euclides secara deduktif-aksiomatis berdasarkan sistem aksioma Hilbert, sebagai pedoman bagi guru dalam pengajaran geometri di sekolah menengah. Skripsi thesis, Sanata Dharma University.