1. Abercrombie, P., Karaorman, M.: jContractor: Bytecode instrumentation techniques for implementing DBC in Java. In Runtime Verification (RV’02), ENTCS, vol. 70, Elsevier, Amsterdam (2002)
2. Aho A.V., Sethi R., Ullman J.D.: Compilers, Principles, Techniques, and Tools, pp. 215–246. Addison-Wesley, New York (1986)
3. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’05), pp. 345–364. ACM, New York (2005)
4. Alur, R., Etessami, K., Madhusudan, P.: A temporal logic of nested calls and returns. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS’04), LNCS, vol. 2988, pp. 467–481. Springer, Berlin (2004)
5. AspectC++. http://www.aspectc.org/