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

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