Ruben Smelik, Arend Rensink, Harmen Kastenberg. Specification and Construction of Control Flow Semantics. In 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK. pages 65-72, IEEE Computer Society, 2006. [doi]
Abstract is missing.