迈克尔·德克蒂亚 亚历山大·贾。迪科夫斯基 鲍里斯·卡洛夫 迭代依赖和Kleene迭代。 66-81 2010 FG公司 https://doi.org/10.1007/978-3642-32024-8_5 2011年11月11日 db/conf/fg/fg2011.html#DekhtyarDK10