Britta Schinzel Computer Science between Symbolic Representation and Open Construction. 59-76 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3075&spage=59 2004 conf/birthday/2004richter Logic versus Approximation db/conf/birthday/richter2004.html#Schinzel04