Formally Defining Debuggers: A Comparison of Three Approaches. - Karen L. Bernstein; Eugene W. Stark (AADEBUG, 1995)

Operational semantics of a focusing debugger. - Karen L. Bernstein; Eugene W. Stark (MFPS, 1995)

A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. - Karen L. Bernstein (LICS, 1998)