M. Hofmann, and T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), volume 36 of Oxford Logic Guides, Oxford Univ. Press, New York, (1998)
I. Dokmanic, R. Parhizkar, J. Ranieri, and M. Vetterli. (2015)cite arxiv:1502.07541Comment: - 17 pages, 12 figures, to appear in IEEE Signal Processing Magazine - change of title in the last revision.