1. Butelle, F., King, R., Toumazet, F.: SCHUR, an interactive program for calculating properties of Lie groups and symmetric functions,
http://schur.sourceforge.net
(Release 6.06)
2. MacDonald, I.G.: Symmetric Functions and Hall Polynomials. Clarendon Press, Oxford University Press (1979) (2nd edn. in 1998)
3. King, R.C., Bylicki, M., Karwowski, J. (eds.): Symmetry, Spectroscopy and SCHUR. Nicolaus Copernicus University Press (2006)
4. Correnson, L., Cuoq, P., Puccetti, A., Signoles, J.: Frama-C User Manual, Beryllium release,
http://frama-c.cea.fr
5. Marché, C., Moy, Y.: Jessie Tutorial, Release 2.21
http://frama-c.cea.fr/jessie/jessie-tutorial.pdf