doi:10.1016/0094-5765(78)90087-5