FENICS

• The FEniCS Project Version 1.5
  M. S. Alnaes, J. Blechta, J. Hake, A. Johansson, B. Kehlet, A. Logg, C. Richardson, J. Ring, M. E. Rognes and G. N. Wells
  Archive of Numerical Software, vol. 3, 2015, [DOI]
• Automated Solution of Differential Equations by the Finite Element Method
  A. Logg, K.-A. Mardal, G. N. Wells et al.
  Springer, 2012

DOLFIN

• DOLFIN: Automated Finite Element Computing
  A. Logg and G. N. Wells
  ACM Transactions on Mathematical Software, vol. 37, 2010, [DOI], [arXiv]
• DOLFIN: a C++/Python Finite Element Library
  A. Logg, G. N. Wells and J. Hake
  in Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, Edited by A. Logg, K.-A. Mardal and G. N. Wells, Springer, chapter 10, 2012

FFC

• A Compiler for Variational Forms
  R. C. Kirby and A. Logg
  ACM Transactions on Mathematical Software, vol. 32, 2006, [DOI], [arXiv]
• FFC: the FEniCS Form Compiler
  A. Logg, K. B. Ølgaard, M. E. Rognes and G. N. Wells
  in Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, Edited by A. Logg, K.-A. Mardal and G. N. Wells, Springer, chapter 11, 2012
• Optimisations for Quadrature Representations of Finite Element Tensors Through Automated Code Generation
  K. B. Ølgaard and G. N. Wells
  ACM Transactions on Mathematical Software, vol. 37, 2010, [DOI], [arXiv]

UFL

• Unified Form Language: A domain-specific language for weak formulations of partial differential equations
  M. S. Alnaes, A. Logg, K. B. Ølgaard, M. E. Rognes and G. N. Wells
  ACM Transactions on Mathematical Software, vol. 40, 2014, [DOI], [arXiv]
• UFL: a Finite Element Form Language
  M. S. Alnaes
  in Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, Edited by A. Logg, K.-A. Mardal and G. N. Wells, Springer, chapter 17, 2012

FIAT

• Algorithm 839: FIAT, a New Paradigm for Computing Finite Element Basis Functions
  R. C. Kirby
  ACM Transactions on Mathematical Software, vol. 30, pp. 502—516, 2004, [DOI]
• FIAT: Numerical Construction of Finite Element Basis Functions,
  R. C. Kirby
  in Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, Edited by A. Logg, K.-A. Mardal and G. N. Wells, Springer, chapter 13, 2012

UFC

• Unified Framework for Finite Element Assembly
  M. S. Alnaes, A. Logg, K.-A. Mardal, O. Skavhaug and H. P. Langtangen
  International Journal of Computational Science and Engineering, vol. 4, pp. 231—244, 2009, [DOI]
• UFC: a Finite Element Code Generation Interface
  M. S. Alnaes, A. Logg and K.-A. Mardal
  in Automated Solution of Differential Equations by the Finite Element Method, Volume 84 of Lecture Notes in Computational Science and Engineering, Edited by A. Logg, K.-A. Mardal and G. N. Wells, Springer, chapter 16, 2012