Wayne Citrin

citrin@cs.colorado.edu -- MFD, a visual language with demonstrational semantics for communications protocol specification