Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6 - 12, 1997 ; proceedings (Springer, 1997)