Experiments in specification re-engineering door J.A. Hillebrand