An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract).

Alain Deutsch An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract). 82-99 1991 conf/fp/1991 Functional Programming db/conf/fp/fp1991.html#Deutsch91