An algebraic treatment of flow diagrams and its application to generalized recursion theory
Volume 9 / 1982
Banach Center Publications 9 (1982), 277-287
DOI: 10.4064/-9-1-277-287