+\usepackage{geometry} % Papersize
+\usepackage[british]{babel} % Internationalization
+\usepackage[titletoc]{appendix} % Appendices
+\usepackage{hyperref} % Hyperlinks
+\usepackage{booktabs} % Better looking tables
+\usepackage{caption} % Captions
+\usepackage{subcaption} % Subcaptions
+\usepackage{listings} % source code
+\usepackage{float} % floating images
+\usepackage{lmodern} % Better teletype fonts
+\usepackage{textcomp} % Nice listings quotes
+\usepackage{pgf-umlsd} % Connection diagrams
+\usepackage{graphicx} % Graphics
+\usepackage{epstopdf} % Eps graphics
+\usepackage{etoolbox} % Patch chapter command
+
+\patchcmd{\chapter}{plain}{headings}{}{}
+
+\usetikzlibrary{arrows,shadows}
+
+\graphicspath{{img/}}
+
+\urlstyle{tt}
+\hypersetup{%
+ pdftitle={Task Oriented Programming and the Internet of Things},
+ pdfauthor={Mart Lubbers},
+ pdfsubject={Task Oriented Programming and the Internet of Things},
+ pdfcreator={Mart Lubbers},
+ pdfproducer={Mart Lubbers},
+ pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
+ hidelinks=true
+}
+
+\pdfstringdefDisableCommands{%
+ \def\acrlong#1{}%
+ \def\acrlongpl#1{}%
+ \def\acrshort#1{}%
+ \def\acrfull#1{}%
+ \def\gls#1{}%
+ \def\glspl#1{}%
+ \def\Gls#1{}%
+ \def\Glspl#1{}%
+}
+
+\lstdefinelanguage{Clean}{%
+ alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
+ alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
+ morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
+ sensitive=true,
+ morecomment=[l]{//},
+ morecomment=[n]{/*}{*/},
+ morestring=[b]",
+ morestring=[b]',
+ emptylines=1,
+ basewidth=0.45em,
+ columns=[c]fixed,
+ texcl=true,
+ upquote=true,
+ literate=%
+ % Basic Clean constructs
+ {\\}{{$\lambda\:$}}1
+ {A.}{{$\forall\;\,$}}1
+ {E.}{{$\exists\;\,$}}1
+ {*}{{$^*$}}1
+% {>}{{$>$}}1
+% {<}{{$<$}}1
+% {<=}{{$\leq$}}1
+% {>=}{{$\geq$}}1
+% {<>}{{$\neq$}}1
+% {->}{{$\rightarrow$}}2
+% {<-}{{$\leftarrow$}}1
+% {=}{{$=$}}1
+% {~}{{$\sim$}}1
+% {\#}{{$\sharp$}}1
+% {\{|}{{$\{\!|\!$}}1
+% {|\}}{{$\!|\!\}$}}1
+% {:=}{{$:=$}}2
+% {==}{{$==$}}2
+% {++}{{$+\!\!+$}}2
+% {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+% {:==}{{$:==$}}3
+% {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
+ %
+ % Basic iTask constructs
+% {>||>}{{$\triangleright\triangleright$}}2
+% {>>=}{{\texttt{>>=}}}3
+% {>>|}{{\texttt{>>|}}}3
+% {?>>}{{\texttt{?>>}}}3
+% {!>>}{{\texttt{!>>}}}3
+% {-||-}{{\texttt{-||-}}}4
+% {.||.}{{\texttt{.||.}}}4
+% {.&&.}{{\texttt{.\&\&.}}}4
+}
+
+\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
+
+\lstset{%
+ breakatwhitespace=false,
+ breaklines=true,
+ captionpos=b,
+ keepspaces=true,
+ basicstyle=\ttfamily\fontseries{l}\footnotesize,
+ commentstyle=\itshape\fontseries{m},
+ keywordstyle=\bfseries\fontseries{b},
+ stringstyle=\ttfamily,
+ showspaces=false,
+ showstringspaces=false,
+ showtabs=false,
+ tabsize=4,
+ frame=L,
+ language=Clean
+}
+
+\setcounter{secnumdepth}{3}
+
+\title{Task Oriented Programming and the Internet of Things}
+\author{Mart Lubbers BSc.\\
+ {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}