K. Jensen and M. Kyng, “EPSILON: A System Description Language”, DPB, vol. 11, no. 150, Oct. 1982.