Shop Programming Languages And Operational Semantics: A Concise Overview 2014