TY - DATA AU - Jan A. Bergstra, Loe M.G. Feijs TI - Algebraic Methods II: Theory, Tools and Applications SN - 9783540463511 PY - 1991/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-53912-3 ER -