1. van der Aalst, W.M.P., Weijters, A.: Process Mining Process-Aware Information Systems: Bridging People e Software through Process Technology. Wiley & Sons, Chichester (2005)
2. van der Aalst, W.M.P., Günther, C.W.: Finding Structure in Unstructured Processes: The Case for Process Mining. In: ACSD 2007, pp. 3–12 (2007)
3. Lecture Notes in Computer Science;W.M.P. Aalst van der,2005
4. Alberti, M., Sani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Storari, S., Torroni, P.: A Computational Logic-based Approach to Verification of IT Systems. In: Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007), Munich, Germany, July 2007, pp. 115–125. Infonomics-Consulting (2007)
5. Amghar, Y., Mezaine, M., Flory, A.: Modeling of business rules for active database application specification. In: Advanced topics in database research, vol. 1, pp. 135–156. IGI Publishing Hershey, PA (2003)