Infinite horizon programs - Magill, Michael (1979)