Patrick A. V. Hall: Common Subexpression Identification in General Algebraic Systems. Technical Rep. UKSC 0060, IBM United Kingdom Scientific Centre (1974)