A formal framework for handling audiovisual materials