Visualization as debugging: Understanding/debugging the Warren Abstract Machine | Publicación