Ran Raz, Avi Wigderson: Monotone Circuits for Matching Require Linear Depth. STOC 1990: 287-292