Principles of process planning : a logical approach - Halevi, Gideon, 1928- (Chapman & Hall, 1995)