@Other{Schwinghammer_2002,
title={A concurrent lambda-calculus with promises and futures},
author={Schwinghammer, Jan},
doi={http://dx.doi.org/10.22028/D291-25773},
year={2002}
}