@misc{www:dolfin,
        title = {{DOLFIN}},
        author = {J. Hoffman and J. Jansson and A. Logg and G. N. Wells},
        year = {2006},
        note = {URL: \url{http://www.fenics.org/dolfin/}}
}

@misc{www:ffc,
    author = {A. Logg},
    title = {{FFC}},
    year = {2007},
    note = {URL: \url{http://www.fenics.org/ffc/}},
}

@misc{www:syfi,
    author = {M. Aln\ae{}s and K--A Mardal},
    title = {{S}y{F}i},
    year = {2007},
    note = {URL: \url{http://www.fenics.org/syfi/}},
}

@misc{www:fenics,
    author = {J. Hoffman and J. Jansson and C. Johnson and M. G. Knepley and R. C. Kirby and A. Logg and L. R. Scott and G. N. Wells},
    title = {{FE}ni{CS}},
    year = {2006},
    note = {URL: \url{http://www.fenics.org/}},
}

@misc{www:sundance,
	author = {Kevin Long},
	title = {Sundance},
	year = {2006},
	note = {URL: \url{http://software.sandia.gov/sundance/}}
}

@misc{www:deal.II,
	author = {Wolfgang Bangerth and Ralf Hartmann and Guido Kanschat},
	title = {{\tt deal.{I}{I}} {D}ifferential {E}quations {A}nalysis {L}ibrary},
	year = {2006},
	note = {URL: \url{http://www.dealii.org/}}
}

@misc{www:petsc,
	author = {Satish Balay and Kris Buschelman and William D. Gropp and Dinesh Kaushik and Matthew G. Knepley and Lois Curfman McInnes and Barry F. Smith and Hong Zhang},
	title = {{PETS}c},
	year = {2006},
	note = {URL: \url{http://www.mcs.anl.gov/petsc/}}
}

@misc{www:trilinos,
  title = {Trilinos},
  note  = {URL: \url{http://software.sandia.gov/trilinos/}},
}

@manual{www:diffpack,
       title = {{Diffpack}},
       author = {A. M. Bruaset and H. P. Langtangen and others},
       year = {2006},
       note = {URL: \url{http://www.diffpack.com/}}
}

@article{logg:article:07,
        author = {R. C. Kirby and M. G. Knepley and A. Logg and L. R. Scott},
        title = {Optimizing the Evaluation of Finite Element Matrices},
        journal = {SIAM J. Sci. Comput.},
        year = {2005},
        volume = {27},
        number = {3},
        pages = {741--758},
        issn = {1064-8275}

}

@article{logg:article:09,
        author = {R. C. Kirby and A. Logg and L. R. Scott and A. R. Terrel},
        title = {Topological Optimization of the Evaluation of Finite Element Ma
trices},
        journal = {{SIAM} J. Sci. Comput.},
        year = {2006},
        volume = {28},
        number = {1},
        pages = {224--240},
        issn = {1064-8275}

}

@article{logg:article:10,
  author =       "R. C. Kirby and A. Logg",
  title =        "A Compiler for Variational Forms",
  journal =      "{ACM} Transactions on Mathematical Software",
  volume =       "32",
  number =       "3",
  pages =        "417--444",
  year =         "2006",
  accepted =     "13 November 2005",
  abstract =     "As a key step towards a complete automation of the finite elem
ent method, 
                 we present a new algorithm for automatic and efficient evaluati
on of 
                 multilinear variational forms. The algorithm has been implement
ed in the 
                 form of a compiler, the FEniCS Form Compiler FFC. We present be
nchmark 
                 results for a series of standard variational forms, including t
he 
                 incompressible Navier-Stokes equations and linear elasticity. T
he speedup 
                 compared to the standard quadrature-based approach is impressiv
e; in some 
                 cases the speedup is as large as a factor 1000.",
  issn = {0098-3500},

}
@article{logg:article:11,
  author =       "R. C. Kirby and A. Logg",
  title =        "Efficient Compilation of a Class of Variational Forms",
  journal =      "{ACM} Transactions on Mathematical Software",
  volume =       "33",
  number =       "3",
  year =         "2007",
  accepted =     "31 August 2006",
  abstract =     "We investigate the compilation of general multilinear variatio
nal
                 forms over affines simplices and prove a representation theorem
 for
                 the representation of the element tensor (element stiffness mat
rix)
                 as the contraction of a constant reference tensor and a geometr
y
                 tensor that accounts for geometry and variable coefficients. Ba
sed
                 on this representation theorem, we design an algorithm for effi
cient
                 pretabulation of the reference tensor.  The new algorithm has b
een
                 implemented in the FEniCS Form Compiler~(FFC) and improves on a
                 previous loop-based implementation by several orders of magnitu
de,
                 thus shortening compile-times and development cycles for users 
of
                 FFC.",
  year = "2007",
  issn = {0098-3500},
}

@book{ZieTay67,
        author = {O. C. Zienkiewicz and R. L. Taylor and J. Z. Zhu},
        title = {The Finite Element Method --- Its Basis and Fundamentals, 6th e
dition},
        publisher = {Elsevier},
        year = {2005, first published in 1967},

}

@book{Hug87,
        author = {T. J. R. Hughes},
        title = {The Finite Element Method: Linear Static and Dynamic Finite Ele
ment Analysis},
        publisher = {Prentice-Hall},
        year = {1987},

}

@book{Lan99,
        author = {H. P. Langtangen},
        title = {Computational Partial Differential Equations -- Numerical Metho
ds and Diffpack Programming},
        publisher = {Springer},
        year = {1999},
        series = {Lecture Notes in Computational Science and Engineering},

}

@book{Cia78,
        author = {P. G. Ciarlet},
        title = {The Finite Element Method for Elliptic Problems},
        publisher = {North-Holland, Amsterdam, New York, Oxford},
        year = {1978},

}
