Program debugging environments design and utilization - Beatrice Lazzerini and Lanfranco Lopriore (Ellis Horwood)