Karel Hrbacek 198-225 Inf. Comput. September 1987 74 3 db/journals/iandc/iandc74.html#Hrbacek87