LAURA, A System to Debug Student Programs.

Anne Adam Jean-Pierre H. Laurent LAURA, A System to Debug Student Programs. 75-122 1980 15 Artif. Intell. 1-2 db/journals/ai/ai15.html#AdamL80