Susumu Hayashi Mathematics Based on Learning. 7-21 2002 conf/alt/2002 ALT http://link.springer.de/link/service/series/0558/bibs/2533/25330007.htm db/conf/alt/alt2002.html#Hayashi02