Lazy evaluation of transactions in database systems
Conception, evolution, and application of functional programming languages