The Equilibrium Size of a Budget-maximizing Bureau: A Note on Niskanen's Theory of Bureaucracy