Code generation based on formal BURS theory and heuristic search (1997)

by A. Nymeyer, J.-P. Katoen
Venue:Acta Informatica