Decompilation: the enumeration of types and grammars | Publicación