McKinnon, K. I. M. and Williams, H. Paul (1989) Constructing integer programming models by the predicate calculus. Annals of Operations Research, 21. pp. 227-245. ISSN 0254-5330