Static analysis : 5th International Symposium, SAS '98 : Pisa, Italy, September 14-16, 1998 : proceedings - Levi, Giorgio, 1942- (Springer, 1998)