著者:	19980109d1977 kemy0enga0121 ba
次要责任者:	Association for Computing Machinery
次要责任者:	ACM Conference on Language Design for Reliable Software
索书号:	2