On the compositional checking of validity (1990)

by Glynn Winskel
Venue:Proceedings of CONCUR ’90, volume 458 of LNCS