38] Monica Nesi. A formalization of the process algebra CCS in higher order logic (1989)

by Communication, Concurrency Prentice-Hall