Egg, M. ; A. Koller, and J. Niehren. 2001. The constraint language for lambda structures.

(2002) Journal of Logic, Language, and Information  

Languages mentioned CLLS {2000}