Giuliano Pacini Franco Turini 87-101 Inf. Comput. May 1987 73 2 db/journals/iandc/iandc73.html#PaciniT87