On the Construction of Programs 1980

R. M. McKeag, A. M. Macnaughten (Eds.): On the Construction of Programs. Cambridge University Press 1980 BibTeX

@book{DBLP:books/cu/McKeagN80,
  editor    = {R. M. McKeag and
               A. M. Macnaughten},
  title     = {On the Construction of Programs},
  publisher = {Cambridge University Press},
  year      = {1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

David W. Bustard: An Introduction to Pascal-Plus. 1-58 BibTeX
Jim Welsh: A Structured Compiler. 59-106 BibTeX
R. M. McKeag: A Structured Operating System. 107-152 BibTeX
Jean Ichbiah, John G. P. Barnes, J. C. Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann: Modules and Visibility in the Ada Programming Language. 153-192 BibTeX
Olivier Roubine, J. C. Heliard: Parallel Processing in Ada. 193-212 BibTeX
Derek Coleman: Concurrent Pascal - An Appraisal. 213-228 BibTeX
C. A. R. Hoare: A Model for Communicating Sequential Processes. 229-254 BibTeX
Ronald H. Perrott: Languages for Parallel Computers. 255-282 BibTeX
Maurice Clint, Ronald H. Perrott: Algorithms for Parallel Computers. 283-318 BibTeX
M. A. Jackson: Information Systems: Modelling, Sequencing and Transformations. 319-342 BibTeX
Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer: Specification Language. 343-410 BibTeX