Download PDF - An algebraic treatment of flow diagrams and its application to generalized recursion theory