Boolean functions and computation models - Clote, Peter, 1951- (Texts in theoretical computer science, 2002)