Jane W. Hughes, Malcolm S. Powell. A Reduction Specification for DTL. In Jørgen Staunstrup, editor, Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Volume 134 of Lecture Notes in Computer Science, pages 255-267, Springer, 1981.
@inproceedings{HughesP81,
title = {A Reduction Specification for DTL},
author = {Jane W. Hughes and Malcolm S. Powell},
year = {1981},
researchr = {https://researchr.org/publication/HughesP81},
cites = {0},
citedby = {0},
pages = {255-267},
booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981},
editor = {Jørgen Staunstrup},
volume = {134},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11490-4},
}