Stav dette: Automated solution of differential equations by the finite element method : the FEniCS book / Anders Logg, Kent-Andre Mardal, Garth Wells, editors.