CLU Spec written in
Larch Implementation