Programming in OCCAM. - Jones, Geraint