1
As the specification is hard to digest, we refer to the tutorial
[
DHH02
]
.