Selected references H. Allen Curtis. A functional canonical form. Journal of the ACM, 6(2):245-258, April 1959.