Instytut Podstaw Informatyki PAN ul. Jana Kazimierza 5, p. 224 01-248 Warszawa e-mail: m[dot]kubkowski[at]ipipan[dot]waw[dot]pl