Implementation issues for a source level symbolic debugger. - John D. Johnson; Gary W. Kenney (SIGSOFT, 1983)