Thomas Lee Halverson;Teodor Rus
-;-
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology