1979
4 references published this year.
Isomorphism and higher order equivalence
Miklós Ajtai (1979) · Annals of Mathematical Logic
Programming language constructs for which it is impossible to obtain good Hoare axiom systems
Edmund M. Clarke Jr. (1979) · Journal of the ACM
First-Order Dynamic Logic
David Harel (1979) · Springer
Crash Recovery in a Distributed Data Storage System
Butler W. Lampson and others (1979) · Xerox Palo Alto Research Center