Mathematical Background of the Software  
The starting point for the software is explained in Algorithms for Representation Theory of Real Groups by Jeffrey Adams and Fokko du Cloux, J. Inst. Math. Jussieu 8 (2009), 209259. The complete details are in Unitary Representations of Real Reductive Groups by Jeffrey Adams, Peter Trapa, Marc van Leeuwen, and David A. Vogan, Jr. Also recommended:
