Text this: Abstraction and specification with modula-2 /