Kolmogorov numberings and minimal identification - Freivalds, R. (2014)
Theoretical Computer Science