A complexity theory based on Boolean algebra - Skyum, Sven; Valiant, Leslie G. (University <Edinburgh> / Department of Computer Science: Internal report, 1982)