Accattoliand Paolini. Call-by-value Solvability, Revisited. Springer Berlin Heidelberg, 2012, doi:10.1007/978-3-642-29822-6_4.