A direct proof for M-stationarity under MPEC-ACQ for mathematical programs with equilibrium constraints - Flegel, Michael L.; Kanzow, Christian (Preprint, 2004)