Applying formal methods to software reuse

Full text