Title: Analysis and Control of Finite-Valued Systems
Subjects: Modular arithmetic