Click to view a PDF (Adobe Acrobat PDF) file.
May 1999
This paper has been prepared under the EC TSER Programme's TIPIK Project, for presentation to the 3 rd TIPIK Workshop held in Strasbourg, at BETA, University of Louis Pasteur, 24 th April 1999. We are grateful for the comments and suggestions received from colleagues in the TIPIK Project, although it has not been possible for all of those to be absorbed in the present version.