Shop Programming Languages And Operational Semantics A Concise Overview 2014