Selected references R. W. House and T. Rado. On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems. Journal of the ACM, 10(1):48-77, January 1963.