Occam Programming Manual