On the covariance function of stationary binary sequences with given mean | IEEE Journals & Magazine | IEEE Xplore