著者:	19970827d1981 kemy0enga0121 ba
次要责任者:	Summer School on Theoretical Foundations of Programming Methodology
索书号:	1