📁 计算机编程语言设置
A growing family of languages based on Set Theory and related notation and principles. Used mostly in mathematics by mathematicians, and in education to teach Mathematics.
条目 (2+)
Program Development by Stepwise Refinement
http://portal.acm.org/citation.cfm?doid=362575.362577