Stanton R.G. and Kocay W.L., “Butterfly factorizations of K8”, A Canadian journal of applied mathematics, computer science and statistics, vol. 79, Jun. 2009.