Text this: Applied Formal Methods — FM-Trends 98 :