@workingPaper{Nivat_1974,
title={On the interpretation of recursive program schemes},
author={Nivat, Maurice},
doi={http://dx.doi.org/10.22028/D291-26058},
year={1974}
}