Muhammed Al-Mulhem Shahid Ali Formal Semantics of Visual Occam. 99-113 1998 24 Comput. Lang. 2 db/journals/cl/cl24.html#Al-MulhemA98