A Debugger for Ada Tasking. - Anne F. Brindle; Richard N. Taylor; David F. Martin (IEEE Trans. Software Eng., 1989)