Process Calculus Based Upon Evaluation to Committed Form. - Andrew M. Pitts; Joshua R. X. Ross (Theor. Comput. Sci., 1998)