Publisher's Synopsis
Proceedings of the Conference on [title] held in Gronigen, The Netherlands, June 1989, (at the occasion of the 375th anniversary of Groninger U.). Some topics addressed: large software construction; calculus of data refinement; categorical approach to the theory of lists. No subject index. Annotation copyright Book News, Inc. Portland, Or.