A Direct Proof of the Discrete-Time Multivariate Circle and Tsypkin Criteria | IEEE Journals & Magazine | IEEE Xplore