Enquiry about EOS80 (based on Roquet) used in Nemo

Hi all!
Can someone please point me to the exact equation form of the EOS80 used in Nemo3.6. The equation form for TEOS10 EOS is given in Roquet 2015a, however for EOS80 the Nemo documentation says “personal communication”.

All EOSs are given in eosbn2.F90 file from where I can see the parameters and the polynomial form used. However, a pdf file or a documentation (if available) would be very helpful.

Thanks in advance!