Stewart, I. (2009). Program schemes, queues, the recursive spectrum and zero-one laws. Fundamenta Informaticae, 91(2), 411-435. https://doi.org/10.3233/fi-2009-0050