Louis Nolin, G. Ruggiu. Formalization of Exel. In POPL. pages 108-119, 1973.
@inproceedings{NolinR73,
title = {Formalization of Exel},
author = {Louis Nolin and G. Ruggiu},
year = {1973},
researchr = {https://researchr.org/publication/NolinR73},
cites = {0},
citedby = {0},
pages = {108-119},
booktitle = {POPL},
}