Author:
Horning J. J.,Lauer H. C.,Melliar-Smith P. M.,Randell B.
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. R. W. Floyd, Assigning meanings to programs, in Mathematical Aspects of Computer Science, ed. Schwartz, J. T., Amer. Math. Soc. 1967.
2. B. Randell, Operating Systems: the problems of performance and reliability. IFIP Congress 1971, North Holland, pp. 281–290, August 1971. (Also Chap. 1)
3. R. M. Balzer, EXDAMS, Extendable Debugging and Monitoring Systems, SJCC 1969, p. 567.
4. C. J. Prenner et al, An Implementation of Backtracking for Programming Languages, ACM Annual Conference, 1972, p. 763.
5. G. M. Birtwistle et al., SIMULA begin, Student Litteratur/Auerbach 1973.