The Modula-3 Type System. - Luca Cardelli; James E. Donahue; Mick J. Jordan; Bill Kalsow; Greg Nelson (POPL, 1989)

Modula-3 language definition. - Luca Cardelli; James E. Donahue; Lucille Glassman; Mick J. Jordan; Bill Kalsow; Greg Nelson (ACM SIGPLAN Notices, 1992)