T. Kotek, J. A. Makowsky: "Connection Matrices and the Definability of Graph Parameters"; Logical Methods in Computer Science, 10 (2014), 4; 1 - 33.
http://arxiv.org/pdf/1308.3654