Equation solving over 2-adic integers and applications to the specification, verification and synthesis of finite state machines (1995)

by Wolfram Buttner, Klaus Winkelmann