Mathematics of Program Construction: Proceedings of the 2nd International Conference, Oxford, U. K., June-July 1992