Archive of papers on the Mathematics of Program Construction

This is an archive of the papers written by myself and members of the mathematics of program construction group at Eindhoven University of Technology during the period 1990--1999 and papers written (or coauthored) by myself since I joined the University of Nottingham in September 1999.

Here is a list of electronically available papers and here are their abstracts.

We would welcome constructive criticism and feedback on our work.

This is a list of articles which we may not distribute electronically for copyright reasons.

If you have any questions or problems, please do not hesitate to contact me.

Roland Backhouse.