Note on axiomatizing the semantics of control operators (1996)

by Amr Sabry