Adding Imperative Programming to the Pattern Calculus - Nguyen, Quy Tuan (PQDT - Global, 2005)