Hoberman Solomon and McKinsey J. C. C.. A set of postulates for Boolean algebra. Bulletin of the American Mathematical Society, vol. 43 (1937), pp. 588–592.

into three types, type theorems, free free forms postulates