Process logic (1979)

by Vaughan R Pratt
Venue:In POPL