This reference offers a good comparison between a number of the formulas for microstrip impedance:

https://qucs.github.io/tech/node75.html

Another very good resource is the Transmission Line Design Handbook by Brian Wadell which also has a good bibliography on the subject of microstrip formulas.