On Tropical Linear and Integer Programs - Peter Butkovic (2017)