Title: Program debugging methodology
First published: 1979