Poland, Jan (2004) A Coding Theorem for Enumerable Output Machines. Technical Report UNSPECIFIED