Jan J. M. M. Rutten Nonwellfounded Sets and Programming Language Semantics. 193-206 1991 conf/mfps/1991 MFPS db/conf/mfps/mfps1991.html#Rutten91 http://dx.doi.org/10.1007/3-540-55511-0_9