Reference books are available for VHDL, Verilog, and TCL.
ModelSim strives to be compliant with the IEEE standards