1. Chritiene Aarts, Roland Backhouse, Paul Hoogendijk, Ed Voermans, and Jaap van der Woude. A relational theory of datatypes. Available at ftp://ftp.win. tue.nl/pub/math.prog.construction/book.dvi, December 1992.
2. Richard S. Bird and Oege de Moor. Algebra of Programming. Prentice-Hall International, 1996.
3. Avra Cohn and Mike Gordon. A mechanized proof of correctness of a simple counter. In K. McEvoy and J.V. Tucker, editors, Theoretical Foundations of VLSI Design, Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.
4. Geraint Jones. Designing circuits by calculation. Technical Report PRG-TR-10-90, Programming Research Group, Oxford University Computing Laboratory, April 1990. Available at http://www.comlab.ox.ac.uk/oucl/users/geraint.jones/publications.
5. Geraint Jones and Mary Sheeran. Circuit design in Ruby. In Jørgen Staunstrup, editor, Formal Methods for VLSI Design. IFIP WG 10.5 Lecture Notes. North-Holland, 1990. A revised version is available at http://www.comlab.ox.ac.uk/oucl/users/geraint.jones/publications.