doi:10.1016/0304-3800(76)90011-9