Boolean Functions and Computation Models

Book by Evangelos Kranakis and Peter Clote