Tools related to Prandle (1982) paper on vertical structure of tidal velocity profiles