1. Aggoun, A., & Beldiceanu, N. (1993). Overview of the CHIP compiler system. In F. Benhamou, A. Colmerauer (Eds.), Constraint logic programming: Selected research (pp. 421–436). London: MIT.
2. Brooke, A., Kendrick, D., & Meeraus, A. (1988). GAMS: A users’ guide. Danvers: Scientific.
3. Cadoli, M., Ianni, G., Palopoli, L., Schaerf, A., & Vasile, D. (2000). NP-SPEC: An executable specification language for solving all problems in NP. Computer Languages, 26, 165–195.
4. Cheadle, A. M., Harvey, W., Sadler, A. J., Schimpf, J., Shen, K., & Wallace, M. G. (2003). ECLiPSe: An introduction. Technical report, IC-Parc-03-1. Imperial College London.
5. Flener, P., Frisch, A. M., Hnich, B., Kızıltan, Z., Miguel, I., Walsh, T. (2001). Matrix modelling. In Proceedings of the CP’01 workshop on modelling and problem formulation (pp. 1–7).