Title: A high-level debugging aid for a microprogrammed microprocessor
First published: 1982