CSTL : CORRESP