@workingPaper{GamkrelidzeHotzZhu_1998,
title={Designing correct recursive circuits using semantics-preserving transformations of nets},
author={Gamkrelidze, Alexander and Hotz, Günter and Zhu, Bin},
doi={http://dx.doi.org/10.22028/D291-26469},
year={1998}
}