Sequential Debugging at a High Level of Abstraction. - Ronald A. Olsson; Richard H. Crawford; W. Wilson Ho; Christopher E. Wee (IEEE Softw., 1991)

Semantic Issues in the Design of Languages for Debugging. - Richard H. Crawford; Ronald A. Olsson; W. Wilson Ho; Christopher E. Wee (Comput. Lang., 1995)