Keju Ma, Joachim von zur Gathen: The Computational Complexity of Recognizing Permutation Functions. Comput. Complex. 5(1): 76-97 (1995)