Development of Semantic Debuggers Based on Refinement Calculus. - Rohit N. Kundaji; R. K. Shyamasundar (ICLP, 2004)

Refinement calculus: A basis for translation validation, debugging and certification. - Rohit N. Kundaji; R. K. Shyamasundar (Theor. Comput. Sci., 2006)