Ξανθάκης, Σπύρος,Μπεκέ, Λίλα, Ένα εργαλείο στατικού και δυναμικού ελέγχου προγραμμάτων, 503-517, 1988,