1. Bartoletti, M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. JCS 17(5), 799–837 (2009)
2. Lecture Notes in Computer Science;M. Bartoletti,2009
3. Lecture Notes in Computer Science;M. Benedikt,2010
4. Bojanczyk, M.: Data monoids. In: Dürr, C., Wilke, T. (eds.) STACS 2011, vol. 9, pp. 105–116. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik (2011)
5. Bojańczyk, M., Klin, B., Lasota, S.: Automata theory in nominal sets (2011),
http://www.mimuw.edu.pl/~sl/PAPERS/lics11full.pdf