M. -C. Pong
-
Formal semantics of visual occam
Computer Languages
Visual Occam: Syntax and semantics