A Tutorial Introduction to OCCAM Programming by Dick Pountain and David May ...