Sabine Glesner Wolf Zimmermann Natural semantics as a static program analysis framework. 510-577 2004 26 ACM Trans. Program. Lang. Syst. 3 http://doi.acm.org/10.1145/982158.982161 db/journals/toplas/toplas26.html#GlesnerZ04