An Expressive Logic for Basic Process Algebra. - Alessandro Fantechi; Stefania Gnesi; V. Perticaroli (MFCS, 1993)