[Duc98].