Geoff Barrett The Fixed Point Theory of Unbounded Non-Determinism. 110-128 1991 3 Formal Asp. Comput. 2 db/journals/fac/fac3.html#Barrett91