Advanced debugging methods - Lencevicius, Raimondas (Kluwer, 2000)