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