Connecting formal and informal mathematics (1998)

by H Elbers