Scheduling a repairman in a finite source system. - Ger Koole; Martin Vrijenhoek (Math. Methods Oper. Res., 1996)