Samson Abramsky R. Sykes Secd-m: a Virtual Machine for Applicative Programming. 81-98 1985 FPCA db/conf/fpca/fpca85.html#AbramskyS85