Mitchell Wand On the correctness of the Krivine machine. 231-235 2007 20 High. Order Symb. Comput. 3 https://doi.org/10.1007/s10990-007-9019-8 db/journals/lisp/lisp20.html#Wand07