Specification of OGDL