-\chapter{Introduction}
+\chapter[chap:introduction]{Introduction}
This thesis describes the result and process of my work during my
Master's assignment. In these pages, I will try to introduce the world
of hardware descriptions, the world of functional languages and