Switching theory: insight through predicate logic - Vingron, Shimon Peter, 1936- (Springer, 2004)