著者:	19970910d1980 kemy0enga0121 ba
次要责任者:	Symposium on Foundations of Computer Science (formerly called the ASSAT)
索书号:	1