Models for algebraic slip were first introduced by Ishii [59] Manninen and Taivassalo [60], provide a more general formulation which forms the basis for the implementation in CFX.