Normalisation In Computer Science