\section{\gls{Task} Semantics}
\input{mtaskext.tasksem}
-\section{\gls{SDS} semantics}
+\section{\gls{SDS} Semantics}
\input{mtaskext.sdssem}
-\section{Bytecode compilation view}\label{sec:compiler}
+\section{Bytecode Compilation View}\label{sec:compiler}
\input{mtaskext.bytecode}
\section{Examples}