1. Aarts, C., Backhouse, R., Hoogendijk, P., Voermans, E. and van der Woude, J.: 1992, A relational theory of datatypes. Available at URL ftp: // ftp.win.tue.nl/pub/math.prog.construction/book.dvi.
2. Backhouse, R. C.: 1983, Specification and proof of a regular language recognizer in synchronous CCS, Technical Report CSM-53, University of Essex.
3. Cohn, A. and Gordon, M.: 1990, A mechanized proof of correctness of a simple counter, in K. McEvoy and J. Tucker (eds), Theoretical Foundations of VLSI Design, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.
4. Doornbos, H., Backhouse, R. and van der Woude, J.: 1997, A calculational approach to mathematical induction. To appear in Theoretical Computer Science.
5. Foster, M. J.: 1984, Specialized Silicon Compilers for Language Recognition, PhD thesis, Computer Science Department, Carnegie Mellon University.