Theory of spike correlations: a formal description of input and output correlations in spiking neurons | Publicación