Formalizing Programming Variables in Process Algebra by Jos C. M. Baeten | Menrva Books | MenrvaBooks