The Incredible ELK Yevgeny KazakovMarkus KrötzschFrantišek Simančík OriginalPaper 17 November 2013 Pages: 1 - 61
Formalization of Shannon’s Theorems Reynald AffeldtManabu HagiwaraJonas Sénizergues OriginalPaper 11 December 2013 Pages: 63 - 103