Bernhard Möller Idel Stream Algebra. 69-116 http://dx.doi.org/10.1007/3-540-49254-2_3 1998 conf/nada/1998 Prospects for Hardware Foundations db/conf/nada/nada1998.html#Moller98