Reasoning about Higher-order Processes (1995)

by R M Amadio, M Dam
Venue:In TAPSOFT95, LNCS 915