Higher Order Operational Techniques in Semantics by Marjory Gordon