Text this: Applied Formal Methods - FM-Trends 98