1. Wieb Bosma, John Cannon, and Catherine Playoust: The Magma algebra system. I. The user language. J. Symbolic Comput., 24(3–4):235–265, 1997. Computational algebra and number theory (London, 1993).
2. Nils Bruin: Chabauty Methods and Covering Techniques applied to Generalised Fermat Equations. PhD thesis, Universiteit Leiden, 1999.
3. Nils Bruin: Chabauty methods using elliptic curves. Technical Report W99-14, Leiden, 1999.
4. Nils Bruin: Chabauty methods using covers on curves of genus 2. Technical Report W99-15, Leiden, 1999.
5. Lect Notes Comput Sci;N. Bruin,2000