"A Work Allocation Language with Soft Constraints."

Christian Stefansen, Sriram K. Rajamani, Parameswaran Seshan (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics