Arden, B. W.; Galler, B. A., and Graham, R. M. "An algorithm for translating Boolean expressions" pp222-239

[ACM] (1962) [ACM] JACM 9(2) April 1962  

Languages mentioned MAD {1959} Michigan Algorithm Decoder