引用必须被初始化,并且以后不能再引用别的对象.

一本经典的关于可计算性理论的书籍，作者Michael Sipser，供职于MIT