著者:	19970827d1989 kemy0enga0121 ba
次要责任者:	MFCS`89
次要责任者:	Symposium on Mathematical Foundations of Computer Science
索书号:	1