Jim Grundy Thomas F. Melham John W. O'Leary A reflective functional language for hardware design and theorem proving. 157-196 2006 16 J. Funct. Program. 2 http://dx.doi.org/10.1017/S0956796805005757 db/journals/jfp/jfp16.html#GrundyMO06