Εφαρμογές της λογικής στην πληροφορική - Στεφανέας, Πέτρος. (Ακαδημαϊκά Ηλεκτρονικά Συγγράμματα και Βοηθήματα Κάλλιπος, 2015)