David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper
“do considered od” considered odder than “do considered ob”
Related
Conference paper
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, et al.
FOCS 1980
David Harel
Theoretical Computer Science
Conference paper
Recursion in logics of programs
David Harel
POPL 1979