Tim Wahls Gary T. Leavens Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. 567-575 2001 conf/sac/2001 SAC http://doi.acm.org/10.1145/372202.372465 db/conf/sac/sac2001.html#WahlsL01