Programming in Occam 2 (1988)

by A Burns