Λογικός προγραμματισμός υψηλής τάξης. - Πάππα, Χρηστάκη Λ. ([χ.ό.], 2004)