Found in articles
私有信息檢索
retrieval. Proceedings of the 38th Annual Symposium on Foundations of Computer Science. Miami Beach, Florida, USA: IEEE Computer Society. 1997: 364–373
孤子分布
盧比變換碼 Luby, M. LT Codes. The 43rd Annual IEEE Symposium on Foundations of Computer Science. 2002 [2015-02-07]. （原始内容存档于2015-02-07）. Tirronen, Tuomas
Charles E., Area-efficient graph layouts, 21st Annual Symposium on Foundations of Computer Science (FOCS 1980): 270–281, 1980, doi:10.1109/SFCS.1980.13
separator theorems and applications, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280): 232, 1998, ISBN 0-8186-9172-7, doi:10
线性时序逻辑
logic of programs. Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), 1977, 46–57. doi:10.1109/SFCS.1977.32 Sec. 5.1 of Christel