Olga Caprotti Martijn Oostdijk On Communicating Proofs in Interactive Mathematical Documents. 53-64 2000 conf/aisc/2000 AISC http://link.springer.de/link/service/series/0558/bibs/1930/19300053.htm db/conf/aisc/aisc2000.html#CaprottiO00