Martín Escardó
School of Computer Science
University of Birmingham
Date: This is the version of 11 January 2005.
You have been given the version of 11th January 2005.
Any significant differences will be documented in Appendix B.
method in Java.