Boltic computer science : selected papers ed. by J. Barzdins, D. Bjorner. - Berlin Springer-Verlag 1991 - x,619p. - Lecture notes in Computer Science, 502 . ISBN: 3540541314 Dewey Class. No.: 004.09474 / N91