Hüttel, H.; Srba, J. Recursive Ping-Pong Protocols. BRICS 2003, 10.