Author: International Meeting of Young Computer Scientists (4th 1986 Smolenice, Czechoslovakia)