David C. Luckham, Wolfgang Polak. Ada Exception Handling: An Axiomatic Approach. ACM Transactions on Programming Languages and Systems, 2(2):225-233, 1980. [doi]
@article{LuckhamP80, title = {Ada Exception Handling: An Axiomatic Approach}, author = {David C. Luckham and Wolfgang Polak}, year = {1980}, doi = {10.1145/357094.357100}, url = {http://doi.acm.org/10.1145/357094.357100}, tags = {exceptions, C++, systematic-approach}, researchr = {https://researchr.org/publication/LuckhamP80}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {2}, number = {2}, pages = {225-233}, }