Exception handling in parallel computations. - Andrzej Szalas; Danuta Szczepanska (ACM SIGPLAN Notices, 1985)

A Hoare-Like Verification System for a Language with an Exception Handling Mechanism. - Danuta Szczepanska (Theor. Comput. Sci., 1991)