Static Analysis by G. Ional Levi & Giorgio Levi