Exception Handling: Formal Specification and Systematic Program Construction | IEEE Journals & Magazine | IEEE Xplore