%0 Journal Article %F santocanale2003 %A Santocanale, Luigi %T On the equational definition of the least prefixed point %J Theoretical Computer Science %V 295 %N 1 %P 341-370 %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/santocanale2003.pdf %U http://dx.doi.org/10.1016/S0304-3975(02)00412-7 %D 2003 %K algexp