A Translation of the Pi-Caculus Into MONSTR. - Richard Banach; J. Balazs; G. Papadoupolous (J. Univers. Comput. Sci., 1995)