K. M. George G. E. Hedrick Expansions in the algebra of FP. 1-8 1988 conf/acm/1988 ACM Conference on Computer Science http://doi.acm.org/10.1145/322609.322610 db/conf/acm/csc1988.html#GeorgeH88