Norman Ramsey Correctness of Trap-Based Breakpoint Implementations. 15-24 1994 POPL db/conf/popl/popl94.html#Ramsey94