@workingPaper{Sieber_1995,
title={Full abstraction for the second order subset of an ALGOL-like language},
author={Sieber, Kurt},
doi={http://dx.doi.org/10.22028/D291-25812},
year={1995}
}