The Data Derivation Model: A Program Specification Technique That Improves Reusability.

Hee Beng Kuan Tan, Tok Wang Ling, Stan Jarzabek, Yin Seong Ho

Browse the full SAC paper archive.