David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)
David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)
David Harel, Dexter Kozen, et al.
FOCS 1980
David Harel
Theoretical Computer Science
David Harel
POPL 1979