2009, Part of book or chapter of book (Kurz, A.; Lenisa, M.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings, pp. 236-250)
2006, Part of book or chapter of book (Bosma, W.; Cannon, J. (ed.), Discovering Mathematics with Magma, Reducing the abstract to the concrete, pp. 2-30)