📁 计算机编程语言设置
基于集合论和相关符号和原理的语言家族不断壮大。主要由数学家在数学中使用,并在教育中用于教授数学。
条目 (2)
Program Development by Stepwise Refinement
http://portal.acm.org/citation.cfm?doid=362575.362577