Decidability and expressiveness of logics of processes (1980)

by K R Abrahamson