Work on format specification at IETF