A Provably Correct Compiler Generator (1992)

by Jens Palsberg
Citations:29 - 3 self