@workingPaper{Gerd_1994,
title={A foundation for higher-order concurrent constraint programming},
author={Gerd, Smolka},
doi={http://dx.doi.org/10.22028/D291-24999},
year={1994}
}