Interactive use of a computer in the preparation of structured programs

R. Snowdon
Abstract:
What problem does this paper attempt to address?