1 Great Idea III: The Boehm-Jacopini Theorem and Structured Programming

http://www.cse.buffalo.edu/~rapaport/111F04/greatidea3.html
（关于C. Bohm和G. Jacopini证明“任何程序逻辑都可以用顺序、选择和循环等三种基本结构来表示”的文章，及相关资源）

2  PSEUDOCODE STANDARD

http://www.csc.calpoly.edu/~jdalbey/SWE/pdl_std.html
（阐述如何写伪码）
一些观点：
Pseudocode is a kind of structured english for describing algorithms
the vocabulary used in the pseudocode should be the vocabulary of the problem domain
the logic must be decomposed to the level of a single loop or decision
Each textbook and each individual designer may have their own personal style of pseudocode
There is no universal "standard" for the industry, but for instructional purposes it is helpful if we all follow a similar style

3 Hamsterscripts: Procedures and Functions

（论述function和procedure的异同）
http://home.hetnet.nl/~ojb-hamster/EnWIP/EnWeb/html/hscr8lk3.htm

4 Dictionary of Algorithms and Data Structures

http://www.nist.gov/dads/

5 用计算机存0.1的问题

http://dev.csdn.net/article/68462.shtm