Acronyms von A bis Z
LNCS490
-J.A. Bergstra/L.M.G. Feijs (Eds.): Algebraic Methods II: Theory, Tools and Applications, Springer-Verlag 1991
-J.A. Bergstra/L.M.G. Feijs (Eds.): Algebraic Methods II: Theory, Tools and Applications, Springer-Verlag 1991