"10.1016/S0022-5193(85)80016-3" . . . . . .