@article{DBLP:journals/cl/BolotJ90,
author = {Jean-Chrysostome Bolot and
Pankaj Jalote},
title = {Functional Semantics of Programs with Exceptions},
journal = {Comput. Lang.},
volume = {15},
number = {4},
year = {1990},
pages = {251-265},
ee = {http://dx.doi.org/10.1016/0096-0551(90)90023-I},
bibsource = {DBLP, http://dblp.uni-trier.de}
}