Logic at Botik '89 Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings - Meyer, Albert R. (Lecture Notes in Computer Science Ser.)