This Internet-Draft, draft-ietf-rohc-formal-notation-13.txt, was published as a Proposed Standard, RFC 4997 (http://www.ietf.org/rfc/rfc4997.txt), on 2007-7-31.