Higher order operational techniques in semantics - Gordon, Andrew D.; Pitts, A. M. (Andrew M.) (Cambridge University Press, 1998)