Bibliography: p249-261. - Includes index.
Timed boolean functions : a unified formalism for exact timing analysis by William K. C. Lam. ISBN 0792394542. Published by Kluwer in 1994. Publication and catalogue information, links to buy online and reader comments.