Algorithms for Formula Translation
John P. Cleave · The Computer Journal · 1959
A method of automatically constructing the program for the evaluation of a quantity defined implicitly by a formula is considered. The formal algebra involved can be programmed and so incorporated in an autocode.