\section{\acrlong{TOP}}
\gls{TOP} is a recent new programming paradigm implemented as
\gls{iTasks}~\cite{achten_introduction_2015} in
the pure lazy functional language \gls{Clean}

\todo{Main terms}
The lazy functional programming language based on graph rewriting
\gls{Clean}~\cite{brus_cleanlanguage_1987}

\section{\acrlong{DSL}s}

\section{Devices}

\subsection{Specification}

\subsection{Communication}

\section{mTasks}
\subsection{\gls{DSL}}

\subsection{Shares}
