Timed Boolean Functions door Robert K. Brayton, William K.C. Lam & William K. Lam