1. Adams, E. W. (1975). The logic of conditionals. Dordrecht: Reidel.
2. Areces, C. (2000). Logic engineering. The case of description and hybrid logics. Ph.D. thesis, ILLC, University of Amsterdam.
3. Austin, J. L. (1961). Ifs and cans. In J. O. Urmson & G. J. Warnock (Eds.), Philosophical papers (pp. 153–180). Oxford: Oxford University Press.
4. Beck, K. (1999). Extreme programming explained: Embracing change. Reading, MA: Addison-Wesley.
5. Beck, K., Gamma, E. (2002). The junit cookbook. http://junit.sourceforge.net/doc/cookbook/cookbook.htm .