J. W. de Bakker Least Fixed Points Revisited. 155-181 1976 2 Theor. Comput. Sci. 2 db/journals/tcs/tcs2.html#Bakker76