A simple deductive proof of a stability test for two-dimensional digital filters | IEEE Journals & Magazine | IEEE Xplore