Formal specification of distributed multimedia systemsde Gordon Blair, G. Blair, L. Blair, H. Bowman, A. ChetwyndMateriasElectronic data processingDistributed processingMultimedia systems
