Formal algorithmic elimination for PDEs / Daniel Robertz. Cham [u.a.] : Springer, 2014