Yusi, - (2006) Aplikasi logika proposisi pada perancangan rangkaian traffic light. Skripsi thesis, Sanata Dharma University.