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