Stewart, I.A., "Program schemes, queues, the recursive spectrum and zero-one laws", Fundamenta Informaticae, 2009