Ahmed Bouajjani Rachid Echahed Peter Habermehl Verifying Infinite State Processes with Sequential and Parallel Composition. 95-106 1995 POPL db/conf/popl/popl95.html#BouajjaniEH95