您即将离开知乎，请注意您的账号和财产安全。
http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-get.cgi/1991/CS/CS0699.revised.pdf
