Constraints—A language for expressing almost-hierarchical descriptions

Sketchpad

Ivan E. Sutherland · 1963 · 1.8K citations

Computing, Computer Science, Drawing +8

Program development by stepwise refinement

Niklaus Wirth · Communications of the ACM · 1971 · 959 citations · Full text

Computing, Computer Science, Building Information Modeling +5

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 714 citations

Computing, Computer Engineering, Computer Science +7

Program development by stepwise refinement

Niklaus Wirth · Communications of the ACM · 1983 · 690 citations · Full text

Computing, Computer Science, Building Information Modeling +5

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

Carl Hewitt · Defense Technical Information Center (DTIC) · 1972 · 319 citations

Computing, Autonomous Systems, Computer Science +8