DMCA

Constraints in Procedural and Concurrent Languages (2006)

by Thom Frühwirth , Laurent Michel , Christian Schulte