Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings (Springer, 1994)