Zoukos, Vassilios A.,Παπακωνσταντίνου, Γεώργιος,Τσανάκας, Παναγιώτης, Incorporating homomorphic reduction into abstract interpretation, 40-47, 2001, Εκδοτικός Οργανισμός Λιβάνη,