David Harel Dexter Kozen Rohit Parikh Process Logic: Expressiveness, Decidability, Completeness. 144-170 1982 25 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss25.html#HarelKP82