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

David Harel, Dexter Kozen, et al.

Journal of Computer and System Sciences

David Harel

ACM Transactions on Programming Languages and Systems (TOPLAS)

David Harel, Amir Kantor, et al.

Science of Computer Programming

Ashok K. Chandra, David Harel

STOC 1979