A modular semantics for compiler generation (1995)

by S Liang