Zamir Bavel

Problem Solving Companion for

Problem Solving Companion for Discrete Structures

1985

Introduction to the theory of automata

1983

Math companion for computer science

1982

On the structure and automorphisms of finite automata

1965