Finitary codes and isomorphisms by J.A. Serafin