Equational Code Generation (1992)

by D Skillicorn, W Cai