Eric Van Wyk Meta Languages in Algebraic Compilers. 119-134 2000 conf/amast/2000 AMAST http://link.springer.de/link/service/series/0558/bibs/1816/18160119.htm db/conf/amast/amast2000.html#Wyk00