Title: On debugging procedures
Subjects: Debugging in computer science