Leszek Pacholski Jerzy Tiuryn Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers CSL Lecture Notes in Computer Science 933 Springer 1995 3-540-60017-5 db/conf/csl/csl94.html