James F. Power David Sinclair A Formal Model of Forth Control Words in the Pi-Calculus. 1272-1293 2004 10 J. UCS 9 http://www.jucs.org/jucs_10_9/a_formal_model_of db/journals/jucs/jucs10.html#PowerS04