2005, Article in monograph or in proceedings (Fiadeiro, J.L.; Harman, N.; Roggenbach, M. (ed.), Conference on Algebra and Coalgebra in Computer Science (CALCO 2005), pp. 204-233)
2004, Article in monograph or in proceedings (Adámek, J.; Milius, S. (ed.), Coalgebraic Methods in Computer Science : Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS), pp. 145-166)
2004, Article in monograph or in proceedings (Rattray, C.; Maharaj, S.; Shankland, C. (ed.), Algebraic Methods and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings, pp. 21-22)
2004, Article in monograph or in proceedings (Adámek, J.; Milius, S. (ed.), Coalgebraic Methods in Computer Science : Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS), pp. 167-184)
2004, Article in monograph or in proceedings (Futatsugi, K.; Mizoguchi, F.; Yonezaki, N. (ed.), Software Security -- Theories and Systems, pp. 134-153)