Constraint-Type Statements in Programming Languages
A proposal is made for including in a programming
language statements which imply relations 
between variables but which are not explicit assignment
statements.  The compiler sets up a Newtonian 
iteration making use for the purpose of a routine for formal differentiation.
CACM October, 1964 
Wilkes, M. V.
