Logical error diagnosis - Scott Alexander Renner (1990)