出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第810页（218字）
马希文着。
科学出版社1985年7月版。11．6万字。
介绍如何根据断言和已知程序进行程序设计，以及程序理论、语言理论、数据结构理论；阐明编程在计算机完成工作中的重要性和关键性；指出在设计程序时必须考虑到机器的一切细节，对不同的机器来说，编制程序时所需要的最精细的知识可能完全不同，认为要研究程序设计的理论方法，必须摆脱计算机的细节，抓住各种计算机的共性——任何计算机都能进行的一些动作。