1. OMG. (2005). Unified modeling language: superstructure. Version 2.0.
2. Coq, [EB/OJ]. Retrieved from
http://coq.inria.fr/
.
3. Yves, B., & Castéran, P. (2004). Interactive theorem proving and program development—Coq’Art: The calculus of inductive constructions (pp. 1–496). Berlin: Springer.
4. Lu, L., & Kim, D. (2011). Required behavior of sequence diagrams: Semantics and refinement. In: Proceedings of the 2011 16th IEEE international conference on engineering of complex computer systems (ICECCS) (pp. 127–136). Washington, DC: IEEE Computer Society.
5. Störrle, H. (2003). Semantics of interactions in UML 2.0. In: Proceedings of the 2003 I.E. symposium on human centric computing languages and environments (pp. 129–136). Washington, DC: IEEE Computer Society.