Perera, Roly. Programming Languages For Interactive Computing [交互式计算的编程语言]. Electronic Notes in Theoretical Computer Science. Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2007). 2008-05-14, 203 (3): 35–52. CiteSeerX 10.1.1.95.7225. doi:10.1016/j.entcs.2008.04.085(英语).
Beaver, Donald. Foundations of Secure Interactive Computing. Feigenbaum, Joan (编). Advances in Cryptology – CRYPTO '91 [密码学进展- CRYPTO '91]. Lecture Notes in Computer Science 576. Springer Berlin Heidelberg. 1991-08-11: 377–391. ISBN 9783540551881. doi:10.1007/3-540-46766-1_31(英语).
Perera, Roly. Programming Languages For Interactive Computing [交互式计算的编程语言]. Electronic Notes in Theoretical Computer Science. Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2007). 2008-05-14, 203 (3): 35–52. CiteSeerX 10.1.1.95.7225. doi:10.1016/j.entcs.2008.04.085(英语).