Daniel Jackson Abstract Analysis with Aspect. 19-27 1993 ISSTA http://doi.acm.org/10.1145/154183.154192 db/conf/issta/issta93.html#Jackson93