Compatible Finite Element Methods for Geophysical Flows Automation and Implementation Using Firedrake - Gibson, Thomas H.; Gibson, Thomas H.; McRae, Andrew T.T; Cotter, Colin J.; Mitchell, Lawrence; Ham, David A. (Springer International Publishing : Imprint: Springer, 2019)