The Logica yearbook 2009.
Peliš, Michal.
College Publications,
c2010.