Constraint-type statements in programming languages
Maurice Vincent Wilkes · Communications of the ACM · 1964
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.