David Harel Rivi Sherman 175-192 Information and Control October/November/December 1982 55 1-3 db/journals/iandc/iandc55.html#HarelS82