Review: Robert McNaughton, Logical and Combinatorial Problems in Computer Design