Hüttel, Hans, and Jirí Srba. “Recursive Ping-Pong Protocols”. BRICS Report Series 10, no. 47 (December 11, 2003). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/21819.