Title: Ones and Zeros: Understanding Boolean Algebra, Digital Circuits, and the Logic of Sets, Author: John R. Gregg
Title: Asynchronous Pulse Logic, Author: Mika M. Nystrom
Title: A VLSI Architecture for Concurrent Data Structures, Author: J. W. Dally
Title: Symbolic Model Checking, Author: Kenneth L. McMillan