Institute of Computer Science of the Polish Academy of Sciences   Warsaw,  Poland