Mathematical computer performance and reliability :proceedings of the international workshop, Pisa, Italy, September 26-30, 1983