[Jeff+80]