Francesco Logozzo: An Approach to Behavioral Subtyping Based on Static Analysis. TACoS 2004: 157-170