Text this: Formal methods and object technology /