Describir: Programming in occam 2 /