J. P. Bowen;P. T. Breuer
-;-
Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)