Modula-2 and software engineering