CONSTRAINT PROGRAMMING LANGUAGES - Laler, Wm. (William) (Reading, Mass. Addison-Wesley, 1988)
Keywords: Bertrand (Computer Program Language)