Automatic program debugging for intelligent tutoring systems
Murray, William R.
London Pitman
1988
Includes index