Reasoning about higher-order processes (1995)

by R Amadio, M Dam
Venue:In Proc. CAAP'95, Lecture Notes in Computer Science