A complete proof system for SCCS with modal assertions (1986)

by G Winskel
Venue:Fundamenta Informaticae