E.S. Boole, V.P. Chapenko. Methods of consecutive functional decomposition construction for Boolean functions. Automatic Control and Computer Sciences, Allerton Press, New York, Vol.39, Issue 5, 2005. pp. 45-55.