Manfred Broy Refinement of Time. 44-63 1997 conf/arts/1997 ARTS db/conf/arts/arts1997.html#Broy97