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

David Harel

POPL 1979

David Harel, Dexter Kozen, et al.

Journal of Computer and System Sciences

David Harel, Amir Kantor, et al.

Science of Computer Programming

David Harel

Theoretical Computer Science