Büchi automaton to Linear Temporal Logic

Question

Given a Büchi automaton what is the procedure to build an equivalent LTL formula? And what is its size?

I'm looking for references but I haven't found them so far.