@workingPaper{HenseSmolka_1992,
title={A verification of extensible record types},
author={Hense, Andreas V. and Smolka, Gert},
doi={http://dx.doi.org/10.22028/D291-26472},
year={1992}
}