Dependence Logic - Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert (Springer International Publishing, 2016)