Starting to summarize "Sémantique operationnelle"