H. Hüttel and J. Srba, “Recursive Ping-Pong Protocols”, BRICS, vol. 10, no. 47, Dec. 2003.