Author: Transputer/Occam International Conference (6th 1994 ; Tokyo, Japan).