Baltic computer science selected papers / - Barzdinʹ, I͡A. M.; Bjørner, D. (Lecture notes in computer science ;)