SEARCH Articles Figures Tables Boolean linkages of state variables and corresponding rules of computation [Publishers Imprint]