Marcelo Fiore, Philip Saville: Coherence for bicategorical cartesian closed structure. Math. Struct. Comput. Sci. 31(7): 822-849 (2021)