A Machine Description Language. - Peter I. P. Boulton; J. R. Goguen (Comput. J., 1979)