Hüttel, H., and J. Srba. “Recursive Ping-Pong Protocols”. BRICS Report Series, vol. 10, no. 47, Dec. 2003, doi:10.7146/brics.v10i47.21819.