Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7) Gecko/20040616
I came across John Souter's article in Microprocessors and Microsystems Vol.
14, 3(1990): 145 -- 148. He talks about the Modula-2 Validation Suite owned
by Georgia Tech., GA, USA, and distributed by BSI Quality Assurance. Do
anyone know anything about this? (It would be interesting to apply it to gm2,
if we could.)