10.1016/0165-0572(84)90012-4