Stability constraints used in computer-aided design of recursive digital filters