A logical interpretation of Java-style exceptions

by Jeffrey A. Vaughan