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