This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
David Gries
A grouping.
The Owicki-Gries method for parallel programs -- prove the individual threads, then check that neither invalidates the other's assertions -- held here as the two 1976 papers, alongside the textbook 'The science of programming'. The fourth record is the outlier and the most interesting: 'Avoiding the Undefined by Underspecification' is about what a program logic should do with expressions that have no value, a question about the logic's audience rather than its power.
4 references
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer
The science of programming
David Gries (1981) · Springer
An axiomatic proof technique for parallel programs I
Susan Owicki and others (1976) · Acta Informatica · Springer
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki and others (1976) · Communications of the ACM · Association for Computing Machinery (ACM)