Silvia Pfeiffer and Thomas Vincent, “Formalisation of MPEG-1 Compressed Domain Audio Features”, Technical Report, CSIRO ICT Centre, 2001.