SyFi and SFC: symbolic finite elements and form compilation

In: Automated Solution of Differential Equations by the Finite Element Method, ed. by Logg, Anders and Mardal, Kent-Andre and Wells, Garth N.. Springer, vol. 84, chap. 15, pp. 269-278. Lecture Notes in Computational Science and Engineering. (ISBN: 978-3-642-23098-1)