ニクラウス・ヴィルト
Program Development by Stepwise Refinement(1971年)ソフトウェア工学分野の古典。
『系統的プログラミング/入門』(Systematic Programming: An Introduction, 1972年)訳:野下浩平、筧捷彦、武市正人、1975年。
『アルゴリズム+データ構造=プログラム』(Algorithms + Data Structures = Programs, 1976年)訳:片山卓也、1981年。
『翻訳系構成法序論』(Compilerbau: Eine Einführung, 1984年)訳:筧捷彦、1986年。
『アルゴリズムとデータ構造』(Algorithms & Data Structures, 1986年) 訳:浦昭二、国府方久史、1990年。(『アルゴリズム+データ構造=プログラム』の前半に手を加えたもの。)
『ヴィルトのコンパイラ構成法』(Compiler Construction, 1996年)訳:滝沢徹、牧野祐子、1997年。(原文は現在、PDF形式で無料配布。外部リンクを参照)