A modal calculus for named control effects. Unpublished manuscript (2004)

by Aleksandar Nanevski