کتاب های Graham Birtwistle
Vlsi Specification, Verification and Synthesis
Graham Birtwistle, P.A. Subrahmanyam, 1987
Logics for Concurrency: Structure versus Automata
Faron Moller, Graham Birtwistle (eds.), 1996
