Detection of single-threading properties in combinator notations (1991)

by D Lass