The Magma algebra system. I: The user language
scientific article; zbMATH DE number 1077111
scientific article