Selected papers of the "Turing Centenary Conference: CiE 2012"

External Link
Arnold Beckmann, Anuj Dawar
special issue of the journal Logical Methods in Computer Science,
Publication year: 2014