1. van der Aalst, W.M.P., Pesic, M., Schonenberg, H., Westergaard, M., Maggi, F.M.: Declare. Webpage (2010),
http://www.win.tue.nl/declare/
2. Lecture Notes in Computer Science;W.M.P. Aalst van der,2006
3. Carbone, M., Hildebrandt, T., Perrone, G., Wasowski, A.: Refinement for transition systems with responses. In: FIT. EPTCS, vol. 87, pp. 48–55 (2012)
4. Debois, S.: DCR exploration tool v.6. IT University of Copenhagen (2014),
http://www.itu.dk/research/models/wiki/index.php/DCR_Exploration_Tool
5. Lecture Notes in Computer Science;J. Ellson,2002