The CD formalism was first introduced in
[1]} in a restricted form and subsequently
formulated in more general settings in [2]}, [3]}, [4]}.
We closely follow [4]} and [6]}, [7]}, [8]} in this section.
