The NCL Natural Constraint Language - Jianyang Zhou (Springer)