Title: International Joint conference on Theory and Practice of Software Development, Pisa, March 1987