spyro: a firedrake-based wave propagation and full waveform inversion finite element solver - Roberts, Keith Jared; Olender, Alexandre Ferreira Guedes; Franceschini, Lucas; Kirby, Robert C.; Gioria, Rafael dos Santos; Carmo, Bruno Souza (Geoscientific model development, 2022)