References ^ J.H. van Lint (1992). 9783540548942, Springer-Verlag. ISBN 9783540548942 (revised Dec 2013)