Programação Inteira - Maria Antónia da Silva Lopes de Carravilla (2001)