Walter Guttmann: Unifying Lazy and Strict Computations. RAMiCS 2012: 17-32