Title: Experimental and formal language design applied to control constructs for interactive computing
Subjects: Computer-assisted instruction, Programming languages (Electronic computers)