nLab
examples for Lagrangian BV