1. Schneider, F.B.: Trust in Cyberspace. National Academies Press, Washington (1999)
2. Christey, S. (eds), Top 25 most dangerous programming errors, CWE/SANS report (2009),
http://cwe.mitre.org/top25
3. Klein, J., Leymann, F., Roller, D., Curbera, F., Goland, Y., Weerawarana, S.: Business process execution language for web services, version 1.1 (2003)
4. Satisfiability Modulo Theories,
http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories
5. Marques-Silva, J.P., Sakallah, K.A.: GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48(5), 506–521 (1999)