1. Back, R. J. R., 1983, “Invariant Based Programs and Their Correctness”, Automatic Program Construction Techniques, Biermann, Guiho, and Kodratoff, eds., MacMillan, Section IV, pp. 1–22.
2. Back, R. J. R., and Hietala, P., 1984, “A Simple User Interface for Interactive Program Verification”, Proceedings of INTERACT’84: First IFIP Conference on Human-Computer Interaction, B. Shackel, ed., London, September 4–7, 1984, 1, pp. 114–118.
3. Bainbridge, L., 1979, “Verbal Reports as Evidence of the Process Operator’s Knowledge”, International Journal of Man-Machine Studies, 11, pp. 411–436.
4. Brown, M. H., and Sedgewick, R., 1984, “Progress Report: Brown University Instructional Computing Laboratory”, Proceedings of the Fifteenth SIGCSE Technical Symposium on Computer Science Education, Philadelphia, February 16–17, 1984. ACM SIGCSE Bulletin 16, 1, February, 1984, pp. 91–101.
5. Ericsson, K. A., and Simon, H. A., 1980, “Verbal Reports as Data”, Psychological Review, 87, pp. 215–251.