阿娜·帕兹托 理查德·斯塔特曼 斯科特归纳和奥米加总结。 251-263 1986 43 西奥。计算。科学。 db/journals/tcs/tcs43.html#PasztorS86 https://doi.org/10.1016/0304-3975(86)90179-9