bibliographic details : 非平衡态热力学和流体力学形式逻辑分析