Formalizing the Debugging Process in Haskell | Publicación