Programming in occam - Jones, Geraint (Prentice-Hall, 1987)
Keywords: Occam