Top-down design within a functional environment
scientific article