Foundations of software science and computation structures : First International Conference, FoSSaCS'98 held as part of the joint European Conference on Theory and Practics of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings