dr Andrzej Trybulec Unit Department of Programming and Formal Methods Phone 85 738 7559 E-mail address trybulec@math.uwb.edu.pl