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