%A M. Woodger
%T A history of IFIP WG2.3 (programming methodology)
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 1-5

%A Edsger W. Dijkstra
%T The humble programmer
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 9-22

%A J.N. Buxton
%T Software engineering
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 23-28

%A W.M. Turski
%T Software engineering - some principles and problems
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 29-36

%A C.A.R. Hoare
%T The engineering of software: a startling contradiction
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 37-41

%A M.M. Lehman
%T Programs, cities, students - limits to growth ?
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 42-69

%A David Gries
%T On structured programming
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 70-74

%A Edsger W. Dijkstra
%T Correctness concerns and, among other things, why they are resented
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 80-88

%A C.A.R. Hoare
%T An axiomatic basis for computer programming
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 89-100

%A C.A.R. Hoare
%T Proof of a program: FIND
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 101-115

%A Ole-Johan Dahl
%T An approach to correctness proofs of semicoroutines
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 116-129

%A Susan Owicki
%A David Gries
%T An axiomatic proof technique for parallel programs
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 130-152

%A John C. Reynolds
%T Programming with transition diagrams
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 153-165

%A Edsger W. Dijkstra
%T Guarded commands, nondeterminacy, and formal derivation of programs
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 166-175

%A J. Darlington
%A R.M. Burstall
%T A system which automaticaly improved programs
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 176-197

%A C.A.R. Hoare
%T Towards a theory of parallel programming
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 202-214

%A Per Brinch Hansen
%T Structured multiprogramming
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 215-223
%K conditional critical region

%A C.A.R. Hoare
%T Monitors: an operating system structuring concept
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 224-243

%A Per Brinch Hansen
%T The programming language Concurrent Pascal
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 244-261

%A C.A.R. Hoare
%T Proof of correctness of data representations
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 269-281

%A J.V. Guttag
%A J.J. Horning
%T The algebraic specification of abstract data types
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 282-308

%A John C. Reynolds
%T User-defined types and procedural data structures
as complementary approaches to data abstraction
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 309-317

%A Niklaus Wirth
%T Program development by stepwise refinement
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 321-334

%A David L. Parnas
%T On a "buzzword": hierarchical structure
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 335-342

%A David L. Parnas
%T On the design and development of program families
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 343-361

%A Brian Randell
%T System structure for software fault tolerance
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 362-387

%A Douglas T. Ross
%T Structured analysis (SA): a language for communicating ideas
%B Programming Methodology
%E David Gries
%I Springer-Verlag
%C New York
%D 1978
%K pm
%P 388-421