Source level debugging for microprocessors. - J. Balfour (1986)