Formally deriving an STG machine | Publicación