A Formal Model of Forth Control Words in the Pi-Calculus. - Power, James F.; Sinclair, David (J. Univers. Comput. Sci., 2004)