Text this: Software prototyping, formal methods, and VDM /