David Harel, Dexter Kozen, et al.
Journal of Computer and System Sciences
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