Text this: Mathematical models of arms control and disarmament :