https://123dok.net/document/q2nv31rq-classical-call-by-need-and-duality.html