Two important papers (pdf) from Luca Cardelli (one of the original designers of the language):

MODULA-3 Type System:

http://lucacardelli.name/Papers/Modula3TypeSystem.A4.pdf

MODULA-3 Report:

http://lucacardelli.name/Papers/SRC-052.pdf