文式程序设计

本文阐述了什么是文式程序设计及这一思想出现的背景,介绍了 D.E.Knuth教授设计的文式程序设计系统 WEB 以及进行文式程序设计的几种方法。