Termination in language-based systems (2002)

by A Rudys, D S Wallach
Venue:ACM Transactions on Information and System Security