Proof Theory for Exception Handling in a Tasking Environment.

Kamal Lodaya R. K. Shyamasundar Proof Theory for Exception Handling in a Tasking Environment. 7-41 1990 28 Acta Inf. 1 db/journals/acta/acta28.html#LodayaS90