T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2001.

C. Demartini, R. Iosif, and R. Sisto, A deadlock detection tool for concurrent Java programs, Software: Practice and Experience, vol.17, issue.7, pp.577-603, 1999.
DOI : 10.1002/(SICI)1097-024X(199906)29:7<577::AID-SPE246>3.0.CO;2-V

R. Douence, T. Fritz, N. Loriant, J. Menaud, M. Ségura-devillechaise et al., An expressive aspect language for system applications with Arachne, Proc. of 4th International Conference on Aspect-Oriented Software Development (AOSD'05, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00442180

Z. Fancong, Deadlock resolution via exceptions for dependable Java applications, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., pp.731-740, 2003.
DOI : 10.1109/DSN.2003.1209988

N. Loriant, M. Ségura-devillechaise, and J. M. Menaud, Server Protection through Dynamic Patching, 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05), pp.343-349, 2005.
DOI : 10.1109/PRDC.2005.56
URL : https://hal.archives-ouvertes.fr/inria-00441360

M. Ségura-devillechaise, J. Menaud, G. Muller, and J. Lawall, Web cache prefetching as an aspect, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.110-119, 2003.
DOI : 10.1145/643603.643615

U. S. System and . Unix, System V Application Binary Interface Intel 386 Architecture Processor Supplement, 1994.