GSOS算子下共变-异变模拟的公理刻画 (Axiomatizing Covariation-Contravariation Simulation Under GSOS Operators). - Suting Li; Yan Zhang (计算机科学, 2020)