Published papers of the Mathematics of Program Construction Section

The following articles, which we may not distribute as a DVI-file for copyright reasons, have been published or will appear soon: