Julia, JuMP, and Gurobi what MUST be cited?

There is no authoritative source that can answer this.

I have seen both. In general for academics hard citations are more valuable than any blob of text (in case there is a proper reference that you can cite).

What would you prefer if you were the author of one of these technologies?