@book{GordonAD:higoot,
   editor =    {A.~D. Gordon and A.~M. Pitts},
   title =     {Higher Order Operational Techniques in Semantics},
   publisher = {Cambridge University Press},
   series =    {Publications of the Newton Institute},
   year =      1998,
   isbn =      {0-521-63168-8}
}