Add protocol specification documents