鲁卡·凯德利 菲利普·加德纳 空间中的进程。 40-55 2012 431 西奥。计算。科学。 https://doi.org/10.1016/j.tcs.2011.12.051 https://www.wikidata.org/entity/Q56981898 db/journals/tcs/tcs431.html#CardelliG12