文件:DH.jpg 1. DH: David Harel, etc.: Algorithmics – the Spirit of Computing, 3rd ed. Pearson Education, 2004 (有高教社影印版) 2. UD: Ulrich Daepp, etc.: Reading, Writing, and Proving – a Closer Look at Mathematics, Springer-Verlag, 2003(有清华社影印版)
