Hanspeter Bieri A Brief Introduction. 43-60 1993 conf/gm/1993 Geometric Modelling db/conf/gm/gm1993.html#Bieri93