%A E.W. Dijkstra
%T On the teaching of programming, i.e. on the teaching of thinking
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 1-10

%A C.A.R. Hoare
%T Parallel programming: an axiomatic approach
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 11-42

%A E.W. Dijkstra
%T On-th-fly garbage collection: an exercise in cooperation
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 43-56

%A D. Gries
%T An exercise in proving parallel programs correct
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 57-81
%K on-th-fly garbage collection

%A P. Brinch Hansen
%T The programming language Concurrent Pascal
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 82-110

%A E.W. Dijkstra
%T Guarded commands, non-determinacy
and a calculus for the derivation of programs
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 111-124

%A M. Griffiths
%T Program production by successive transformation
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 125-152

%A F.L. Bauer
%T Programming as an evolutionary process
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 153-182

%A C.A.R. Hoare
%T Proof of correctness of data representation
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 183-193

%A F.L. Bauer
%T A philosophy of programming
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 194-241

%A C.A.R. Hoare
%T The structure of an operating system
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 242-265

%A G. Seegmuller
%T Language aspects in operating systems
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 266-292

%A W.A. Wulf
%T Structured programming in the basic layers of an operating system
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 293-344

%A E.W. Dijkstra
%T A time-wise hierarchy imposed upon the use of a two-level store
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 345-357

%A A.P. Ershov
%T Problems in many-language systems
%B Language hierarchies and interfaces
%E F.L. Bauer
%E K. Samelson
%S Lecture Notes in Computer Science
%N 46
%I Springer-Verlag
%C Berlin
%D 1976
%K lhi
%P 358-428