Debugging Ada Tasking Programs. - David Heimbold; David C. Luckham (IEEE Softw., 1985)