Extrema of micro-hardness in fully pearlitic compacted graphite cast iron. (2nd September 2020)