@workingPaper{Spaniol_1974, title={A mathematical approach to program behaviour and look-ahead replacement algorithms}, author={Spaniol, Otto}, doi={http://dx.doi.org/10.22028/D291-26065}, year={1974} }