[DFDL-WG] Publication and notation of DFDL