Author: CALCULEMUS-2000 Symposium (2000 St. Andrews, Scotland)