# References¶

The Leon system is documented in several papers and talks, which provide additional information on the algorithms and techniques we used in Leon.