1. Social processes and proofs of theorems and programs
2. Knuth D. E.; Structures Programming with Goto Statements; in Current Trends in Programming Methodology Vol. 1; R. T. Yeh editor; Prentice Hall (1977) pp. 140--194 Knuth D. E.; Structures Programming with Goto Statements; in Current Trends in Programming Methodology Vol. 1; R. T. Yeh editor; Prentice Hall (1977) pp. 140--194
3. Horowitz E. and Sahni S.; Fundamentals of Data Structures; Computer Science Press (1976) pp. 173--178. Horowitz E. and Sahni S.; Fundamentals of Data Structures; Computer Science Press (1976) pp. 173--178.
4. Metzner J. R. and Barnes B. H.; Decision Table Languages and Systems; ACM Monograph Series (1977). Metzner J. R. and Barnes B. H.; Decision Table Languages and Systems; ACM Monograph Series (1977).
5. Reynolds J. C.; Programming with Transition Diagrams; in Programming Methodology D. Gries editor; Springer-Verlag (1978) pp. 153--165. Reynolds J. C.; Programming with Transition Diagrams; in Programming Methodology D. Gries editor; Springer-Verlag (1978) pp. 153--165.