Batalin-Vilkovisky formalism in the functional approach to classical field theory - Klaus Fredenhagen; Katarzyna Rejzner (Communications in Mathematical Physics, 2012)