1

HighLevel Circuit Design
– Eric C. R. Hehner, Theodore S. Norvell, Richard F. Paige

2

Finite circuits are characterized by 2algebraic truth tables
– J Vuillemin
 1961

1

Digital algebra and circuits
– Jean Vuillemin
 2003

1

Automata and coinduction
– J J M M Rutten
 1998

1

power series, and coinduction
– Automata
 1999

1

Behavioural differential equations
– J J M M Rutten
 2003

23

On circuits and numbers
– Jean Vuillemin, Jean Vuillemin
 1994

100

From regular expressions to deterministic automata
– G Berry, R Sethi
 1986

10

Derivatives of rational expressions with multiplicity
– S Lombardy, J Sakarovitch
 2005

5

A Coalgebraic Approach to Kleene Algebra with Tests
– Hubie Chen, Riccardo Pucella
 2003

209

Derivatives of regular expressions
– Janusz A. Brzozowski
 1964

280

Switching and Finite Automata Theory
– Z Kohavi
 1978

159

Rational Series and Their Languages
– Jean Berstel, Christophe Reutenauer
 1988

187

padic numbers, padic analysis, and zetafunctions. Second edition
– N Koblitz
 1984

275

Regular Algebra and Finite Machines
– J H Conway
 1971

228

A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
 1997

185

A completeness theorem for Kleene algebras and the algebra of regular events
– Dexter Kozen
 1994

23

Higher Order Logic and Hardware Verification
– T F Melham
 1993
