Symbolic Algebraic Methods and Verification Methods (Springer Mathematics,) | lit.salon