“do considered od” considered odder than “do considered ob”

David Harel

CACM

Ashok K. Chandra, David Harel

FOCS 1980

David Harel, Amir Kantor, et al.

Science of Computer Programming

David Harel, Dexter Kozen, et al.

Journal of Computer and System Sciences