A conservative look at operational semantics with variable binding (1998)

by W J Fokkink, C Verhoef
Venue:Information and Computation