Man-machine cooperative organizations: formal and pragmatic implementation methods