Boolean Functions And Computation Models by Peter Clote & Evangelos Kranakis