Văn bản này: Proceedings of FMSP'98 :