ThingLab
Alan Borning, PhD Thesis, Stanford University, 1979, published as STAN-CS-79-746
A simulation system written in Smalltalk-76. It solves constraints using value inference. Originally ran on the Xerox Alto.
"The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory", Alan Borning, ACM TOPLAS 3(4):353-387 (Oct 1981).
ThingLab II.