Occam programming manual (Prentice-Hall Internat., 1984)