Krzysztof R. Apt Carole Delporte-Gallet 223-253 Information and Control January/February/March 1986 68 1-3 db/journals/iandc/iandc68.html#AptD86