Interactive Programming Environments

David R. Barstow , Howard E. Shrobe , Erik Sandewall