Title: Modula-2 compiler validation
First published: 1989