@inbook{12399,
  author = {Robert Kirby and Anders Logg},
  title = {FErari: an Optimizing Compiler for Variational Forms},
  year = {2012},
  journal = {Automated Solution of Differential Equations by the Finite Element Method},
  volume = {84},
  chapter = {12},
  pages = {235-243},
  publisher = {Springer},
  isbn = {978-3-642-23098-1},
  editor = {Anders Logg and Kent-Andre Mardal and Garth Wells},
}