1. Boyer, J., Mili, H.: Agile Business Rule Development: Process, Architecture, and JRules Examples. Springer (2011)
2. Jackson, D.: Alloy Analyzer tool (2013),
http://alloy.mit.edu/alloy/
3. Morgan, T.: Business rules and information systems: aligning IT with business goals. Addison-Wesley Professional (2002)
4. ILOG, I (2013),
http://www-01.ibm.com/software/websphere/ilog/
5. Advisor, F.B. (2013),
http://www.fico.com/