Code Generation Based on Formal BURS Therory and Heuristic Search.

Albert Nymeyer Joost-Pieter Katoen Code Generation Based on Formal BURS Therory and Heuristic Search. 597-635 1997 34 Acta Inf. 8 db/journals/acta/acta34.html#NymeyerK97