David Sabel Manfred Schmidt-Schauß A Call-by-Need Lambda Calculus with Scoped Work Decorations. 70-90 2016 Software Engineering (Workshops) https://ceur-ws.org/Vol-1559/paper06.pdf conf/se/2016w db/conf/se/se2016w.html#SabelS16