Closures and fairness in the semantics of programming logic. Theoretical computer science (1984)

by J-L Lassez, M J Maher