Proving the Correctness of the STG Machine | Publicación