@workingPaper{Spaniol_1973,
title={Replacement algorithms basing on generalized models for program behaviour},
author={Spaniol, Otto},
doi={http://dx.doi.org/10.22028/D291-26063},
year={1973}
}