Curtis Clifton Gary T. Leavens MiniMAO: An imperative core language for studying aspect-oriented reasoning. 321-374 2006 63 Sci. Comput. Program. 3 http://dx.doi.org/10.1016/j.scico.2006.02.009 db/journals/scp/scp63.html#CliftonL06