Ζάχος, Ευστάθιος, Application of logic to computer science, 349-350, 1997, Πανεπιστήμιο Κύπρου,