The NCL natural constraint language - Zhou, Jianyang (Verfasser) (Springer, 2012)