Jane W. Hughes, Malcolm S. Powell: A Reduction Specification for DTL. Program Specification 1981: 255-267