Process logic (1979)

by V R Pratt
Venue:In Proceedings of POPL ’79