Documentation for generalised DFC