Representing and using procedural bugs for educational purposes. - John Seely Brown; Richard R. Burton; Kathy M. Larkin (ACM Annual Conference, 1977)