Annex F3 – SDL‑2010 formal definition: Dynamic semantics
F3.1 General information
F3.2 Behaviour semantics
F3.3 Data semantics
Appendix I to Annex F3 – List of abstract syntax grammar rules used