A mathematical language compiler. - J. Chipps; M. Koschmann; S. Orgel; Alan J. Perlis; J. W. Smith (ACM National Meeting, 1956)