Decision methodology : a formalization of the OR process - White, D. J.