As part of the Dutch STOP project two Summerschools were organised.
The proceedings of the International Summer School on Constructive Algorithmics
, 12-21 September 1989, Hollum-Ameland:
The proceedings of the EURICS Workshop Calculational Theories of Program Structure
, 23-27 September 1989, Hollum-Ameland are availbale upon request mailto:email@example.com