Closure and fairness in the semantics of programming logic (1984)

by J-L Lassen, M J Maher