R. E. Rusbridge

• Formal representation of protocols for computer networks