Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
International Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens Palsberg
Berlin Springer New York c2000
Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1824 )(GetIt)