Text this: 一种适于小型节点机的通信协议及其形式描述