The CALCULEMUS-2000 Symposium - Michael Kohlhase; Manfred Kerber (Taylor and Francis, 2001)