菲利普·加德纳 长谷正彦 高阶动作演算的类型和模型。 583-603 1997 conf/tacs/1997 节气门执行器控制系统 db/conf/tacs/tacs97.html#GardnerH97 https://doi.org/10.1007/BFb0014569