Institute of Informatics, Warsaw University, Warsaw 02-097, Poland. gorecki@mimuw.edu.pl|Institute of Informatics, Warsaw University, Warsaw 02-097, Poland. gorecki@mimuw.edu.pl|Institute of Informatics, Warsaw University, Warsaw 02-097, Poland. gorecki@mimuw.edu.pl