%A Barbara Liskov
%A Stephen Zilles
%T An introduction to formal specifications of data abstractions
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 1-32

%A William A. Wulf
%T Languages and structured programs
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 33-60

%A Lawrence Robinson
%A Karl N. Levitt
%A Peter G. Neumann
%A Ashok R. Saxena
%T A formal methodology for the design of operating system software
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 61-110

%A D.L. Parnas
%T The influence of software structure on reliability
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 111-119

%A R.C. Linger
%A H.D. Mills
%T On the development of large reliable programs
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 120-139

%A Donald E. Knuth
%T Structured programming with go to statements
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 140-194
%K goto

%A B. Randell
%T System structure for software fault tolerance
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 195-219

%A Peter Naur
%T Control-record-driven processing
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 220-232

%A Edsger W. Dijkstra
%T Guarded commands, nondeterminacy and formal derivation of programs
%B Current trends in programming methodology, volume 1:
software specification and design
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm1
%P 233-242

%A Peter Henderson
%T Structured program testing
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 1-15

%A J.C. Huang
%T Error detection through program testing
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 16-43

%A John B. Goodenough
%A Susan L. Gerhart
%T Toward a theory of testing: data selection criteria
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 44-79

%A Leon G. Stucki
%T New directions in automated tools for improving software quality
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 80-111

%A C.V. Ramamoorthy
%A S.F. Ho
%T Testing large software with automated software evaluation systems
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 112-150

%A Ralph L. London
%T Perspectives on program verification
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 151-172

%A Lawrence Robinson
%A Karl N. Levitt
%T Proof techniques for hierarchically structured programs
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 173-196

%A James H. Morris,\ Jr.
%A Ben Wegbreit
%T Program verification by subgoal induction
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 197-227

%A Raymond T. Yeh
%T Verification of programs be predicate transformation
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 228-247

%A Shmuel Katz
%A Zohar Manna
%T A closer look at termination
%B Current trends in programming methodology, volume 2:
program validation
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm2
%P 248-268

%A Y. Bard
%T M. Schatzoff
%T Statistical methods in computer performance analysis
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 1-51

%A Donald L. Iglehart
%T The regenerative method for simulation analysis
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 52-71

%A Hisashi Kobayashi
%T System design and performance analysis using analytic models
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 72-114

%A M. Reiser
%A C.H. Sauer
%T Queueing network models: methods of solution and their program implementation
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 115-167

%A J.L. Baer
%T Graph models in programming systems
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 168-231

%A C.L. Liu
%A Donald K. Friesen
%T Combinatorial problems and approximation solution
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 232-255

%A A.N. Habermann
%T System deadlocks
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 256-297

%A Peter J. Denning
%T Optimal multiprogrammed memory management
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 298-322

%A K. Many Chandy
%T An introduction to mathematical programming
applied to computer systems design
%B Current trends in programming methodology, volume 3:
software modeling
%E Raymond T. Yeh
%E K. Many Chandy
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm3
%P 323-365

%A C.A.R. Hoare
%T Data structures
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 1-11

%A George H. Mealy
%T Notions
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 12-29

%A Thomas A. Standish
%T Data structures - an axiomatic approach
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 30-59

%A John V. Guttag
%A Ellis Horowitz
%A David R. Musser
%T The design of data type specifications
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 60-79

%A J.A. Goguen
%A J.W. Thatcher
%T An initial algebra approach to the
specification, correctness, and implementation of abstract data types
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 80-149

%A James G. Mitchell
%A Ben Wegbreit
%T Schemes: a high-level data structuring concept
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 150-184

%A J.T. Schwartz
%T Program genesis and the design of programming languages
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 185-215

%A A.C. Fleck
%T Formal models for string patterns
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 216-240

%A Sung-Yang Bang
%A Raymond T. Yeh
%T Notes on relational data structures
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 241-262

%A Arnold L. Rosenberg
%T Storage mappings for extendible arrays
%B Current trends in programming methodology, volume 4:
data structuring
%E Raymond T. Yeh
%I Prentice-Hall, Inc.
%C Englewood Cliffs, New Jersey
%D 1977
%K ctipm ctipm4
%P 263-311