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