References

1

J. Gattégno. Lewis Carroll: Fragments of a Looking Glass. Thomas Y. Crowell Company, New York, 1976. Translated by R. Sheed.

2

R.T. Gunther. Chemistry, Mathematics, Physics and Surveying, volume I of Early Science in Oxford. Oxford, 1923. Printed for the Oxford Historical Society at the Clarendon Press.

3

R.T. Gunther. Oxford Colleges and their Men of Science, volume XI of Early Science in Oxford. Oxford, 1937. Printed for the author.

4

C.A.R. Hoare. Refinement algebra proves correctness of compiling specifications. In C.C. Morgan and J.C.P. Woodcock, editors, 3rd Refinement Workshop, Workshops in Computing, pages 33-48. Springer-Verlag, 1991.

5

C.A.R. Hoare. Algebra and models. ACM Software Engineering Notes, 18(5):1-8, December 1993.

6

C.A.R. Hoare et al. Laws of programming. Communications of the ACM, 30(8):672-687, August 1987.

7

A. Hodges. Alan Turing: The Enigma. Simon & Schuster, New York, 1983.

8

R.A. Hyman. Charles Babbage: Pioneer of the Computer. Oxford University Press, 1982.

9

N.K. Nichols. Obituary: Professor Leslie Fox, C. Math., FIMA. IMA Bulletin, 29:175-176, November/December 1993.

10

A.W. Roscoe and C.A.R. Hoare. Laws of Occam programming. Theoretical Computer Science, 60:177-229, 1988.