Just for the record, I finally got around to tracking this down:
In the US, the MPEG-1 audio documentation can be ordered from
www.ansi.com (click on catalog) for a mere $135 (document 11172).
I would buy this, but I'd like to take a look at it first to see
if I can understand it. Does anyone know of any US library
which has it? I could then probably get it on inter-library
loan here in New Mexico.
Another reference some of you might be intersted in: for $34,
you can get "Collected papers on digital audio bit-rate reduction"
from the AES.
Mark