Edsger W. Dijkstra On the teaching of programming, i. e. on the teaching of thinking. [Citation Graph (0, 0)][DBLP] Language Hierarchies and Interfaces, 1975, pp:1-10 [Conf]
C. A. R. Hoare Parallel programming: an axiomatic approach. [Citation Graph (0, 0)][DBLP] Language Hierarchies and Interfaces, 1975, pp:11-42 [Conf]
Edsger W. Dijkstra Guarded commands, non-determinancy and a calculus for the derivation of programs. [Citation Graph (0, 0)][DBLP] Language Hierarchies and Interfaces, 1975, pp:111-124 [Conf]
M. Griffiths Program production by successive transformation. [Citation Graph (0, 0)][DBLP] Language Hierarchies and Interfaces, 1975, pp:125-152 [Conf]
William A. Wulf Structured programming in the basic layers of an operating system. [Citation Graph (0, 0)][DBLP] Language Hierarchies and Interfaces, 1975, pp:293-344 [Conf]
Edsger W. Dijkstra A time-wise hierarchy imposed upon the use of a two-level store. [Citation Graph (0, 0)][DBLP] Language Hierarchies and Interfaces, 1975, pp:345-357 [Conf]