Title: Approaches to human knowledge representation in program debugging systems