Klaus Indermark Thomas Noll Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. 1-43 2006 43 Acta Inf. 1 http://dx.doi.org/10.1007/s00236-006-0013-0 db/journals/acta/acta43.html#IndermarkN06