\subfile{dsl/class} % Deep embedding with class
\subfile{dsl/first} % First-class data types
-\part{Orchestrating the IoT using Task-Oriented Programming}%
+\part{Orchestrating the Internet of Things using Task-Oriented Programming}%
\label{prt:top}
\subfile{top/4iot} % TOP for the IoT
\subfile{top/lang} % mTask DSL