Formalising Interactive Voice Services with SDL.

Kenneth J. Turner

Browse the full IFM paper archive.