1. Algorithmic use of the Mal'cev correspondence;Assmann,2007
2. B. Assmann, Guarana—Applications of Lie methods in computational group theory, 2006, A GAP 4 package, see [23]
3. Lecture Notes on Nilpotent Groups;Baumslag,1971
4. The Magma algebra system I: The user language;Bosma;J. Symbolic Comput.,1997
5. Constructing faithful representations of finitely-generated torsion-free nilpotent groups;de Graaf;J. Symbolic Comput.,2002