Janis Barzdins Dines Bjørner Baltic Computer Science Lecture Notes in Computer Science 502 Springer 1991 3-540-54131-4 db/conf/balt/balt1991.html