A. Chetwynd

• Formal specification of distributed multimedia systems