An ADATM compatible specification language. - N. C. L. Beale; Simon L. Peyton Jones (ACM Annual Conference, 1981)