Kai Zimmermann Measuring without Measures: The Delta-Calculus. 59-67 1995 COSIT db/conf/cosit/cosit95.html#Zimmermann95