David Harel
Theoretical Computer Science
Paper
“do considered od” considered odder than “do considered ob”
Related
Conference paper
Recursion in logics of programs
David Harel
POPL 1979
David Harel
Information Processing Letters
Ashok K. chandra, David Harel
Journal of Computer and System Sciences