@workingPaper{Sieber_1994,
title={Full abstraction for the second order subset of an ALGOL-like language (preliminary report)},
author={Sieber, Kurt},
doi={http://dx.doi.org/10.22028/D291-25818},
year={1994}
}