A coalgebraic semantic framework for reasoning about UML: sequence diagrams - Sun, Meng (2008)