Shahram Javey Specification of discontinuities with conditional expressions. 277-285 1986 conf/acm/1986 ACM Conference on Computer Science http://doi.acm.org/10.1145/324634.325435 db/conf/acm/csc1986.html#Javey86