Myles Chippendale Planning a Proof of the Intermediate Value Theorem. 48-63 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#Chippendale94