Title: A VLSI Architecture for Concurrent Data Structures, Author: J. W. Dally
Title: Algorithms for Synthesis and Testing of Asynchronous Circuits, Author: Luciano Lavagno
Title: Asynchronous Pulse Logic, Author: Mika M. Nystrom
Title: Digital Hardware Testing, Author: Rochit Rajsuman
Title: Fundamentals of Digital Logic and Microcomputer Design, Author: M. Rafiquzzaman
Title: Introduction to Circuit Complexity: A Uniform Approach, Author: Heribert Vollmer
Title: Symbolic Model Checking, Author: Kenneth L McMillan